@@ -91,8 +91,8 @@ class Subtype sup sub where
92 -- >>> upcast (upcast human :: Animal) :: Human
92 -- >>> upcast (upcast human :: Animal) :: Human
94− -- ... The type 'Human' is not a subtype of 'Animal'.
94+ -- ... The type 'Animal' is not a subtype of 'Human'.
95− -- ... The following fields are missing from 'Human':
95+ -- ... The following fields are missing from 'Animal':
96 -- ... address
96 -- ... address
98 upcast :: sub -> sup
98 upcast :: sub -> sup
@@ -123,11 +123,11 @@ instance {-# OVERLAPPING #-} Subtype a Void where
123instance {-# OVERLAPPING #-} Subtype Void a where
123instance {-# OVERLAPPING #-} Subtype Void a where
124 super = undefined
124 super = undefined
126−type family ErrorUnless (sub :: Type) (sup :: Type) (diff :: [Symbol]) :: Constraint where
126+type family ErrorUnless (sup :: Type) (sub :: Type) (diff :: [Symbol]) :: Constraint where
127 ErrorUnless _ _ '[]
127 ErrorUnless _ _ '[]
130− ErrorUnless sub sup fs
130+ ErrorUnless sup sub fs
131 = TypeError
131 = TypeError
132 ( 'Text "The type '"
132 ( 'Text "The type '"
133 ':<>: 'ShowType sub
133 ':<>: 'ShowType sub