diff options
Diffstat (limited to 'lib/CheckMap.hs')
-rw-r--r-- | lib/CheckMap.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/CheckMap.hs b/lib/CheckMap.hs index 73464a8..279a2c1 100644 --- a/lib/CheckMap.hs +++ b/lib/CheckMap.hs @@ -44,7 +44,7 @@ import Util (PrettyPrint (prettyprint), prettyprint) data ResultKind = Full | Shrunk -type family Optional (a :: ResultKind) (b :: *) where +type family Optional (a :: ResultKind) (b :: Type) where Optional Full b = b Optional Shrunk b = () |