diff --git a/src/Test/Derive.idr b/src/Test/Derive.idr index f742cf0..f5957b9 100644 --- a/src/Test/Derive.idr +++ b/src/Test/Derive.idr @@ -108,7 +108,7 @@ data Full a = Leaf a | Node (Full (a, a)) -- Mutual Recursion -------------------------------------------------------------------------------- -data Tree : Type -> Type where +data Tree : Type -> Type record Forest a where constructor MkForest