diff --git a/prototype/Doubt/TermType.swift b/prototype/Doubt/TermType.swift
index 06408d430..45f951371 100644
--- a/prototype/Doubt/TermType.swift
+++ b/prototype/Doubt/TermType.swift
@@ -7,6 +7,10 @@ public protocol TermType {
 
 
 extension TermType {
+	public static func unwrap(term: Self) -> Syntax<Self, LeafType> {
+		return term.unwrap
+	}
+
 	/// Catamorphism over `TermType`s.
 	///
 	/// Folds the tree encoded by the receiver into a single value by recurring top-down through the tree, applying `transform` to leaves, then to branches, and so forth.