@@ -91,8 +91,8 @@ class Subtype sup sub where
9191 --
9292 -- >>> upcast (upcast human :: Animal) :: Human
9393 -- ...
94− -- ... The type 'Human' is not a subtype of 'Animal'.
95− -- ... The following fields are missing from 'Human':
94+ -- ... The type 'Animal' is not a subtype of 'Human'.
95+ -- ... The following fields are missing from 'Animal':
9696 -- ... address
9797 -- ...
9898 upcast :: sub -> sup
@@ -123,11 +123,11 @@ instance {-# OVERLAPPING #-} Subtype a Void where
123123instance {-# OVERLAPPING #-} Subtype Void a where
124124 super = undefined
125125
126−type family ErrorUnless (sub :: Type) (sup :: Type) (diff :: [Symbol]) :: Constraint where
126+type family ErrorUnless (sup :: Type) (sub :: Type) (diff :: [Symbol]) :: Constraint where
127127 ErrorUnless _ _ '[]
128128 = ()
129129
130− ErrorUnless sub sup fs
130+ ErrorUnless sup sub fs
131131 = TypeError
132132 ( 'Text "The type '"
133133 ':<>: 'ShowType sub