@@ -61,7 +61,7 @@ instance Unifiable Check Kind where
61 k =?= KUnknown u = u =:= k
61 k =?= KUnknown u = u =:= k
62 Star =?= Star = return ()
62 Star =?= Star = return ()
63 Bang =?= Bang = return ()
63 Bang =?= Bang = return ()
64− Row k1 =?= Row k2 = k1 =?= ks
64+ Row k1 =?= Row k2 = k1 =?= k2
65 FunKind k1 k2 =?= FunKind k3 k4 = do
65 FunKind k1 k2 =?= FunKind k3 k4 = do