diff --git a/prototype/Doubt/Cofree.swift b/prototype/Doubt/Cofree.swift
index ec53a82c9..28b56ecea 100644
--- a/prototype/Doubt/Cofree.swift
+++ b/prototype/Doubt/Cofree.swift
@@ -6,7 +6,7 @@
 ///
 /// This type is dual to `Free`. Where `Free` is inhabited by syntax trees where some terms are replaced with `B`s, `Cofree` is inhabited by syntax trees where all terms are annotated with `B`s. In Doubt, this allows us to e.g. annotate terms with source range information, categorization, etc.
 public enum Cofree<A, B> {
-	indirect case Unroll(B, () -> Syntax<Cofree, A>)
+	case Unroll(B, () -> Syntax<Cofree, A>)
 
 	public var unwrap: Syntax<Cofree, A> {
 		switch self {