@@ -137,10 +137,9 @@ data Link = Link
137 } deriving Show
137 } deriving Show
139-- | If either a or b produce an empty constraint, produce an empty constraint.
139-- | If either a or b produce an empty constraint, produce an empty constraint.
141−-- This works because of:
142−-- https://ghc.haskell.org/trac/ghc/wiki/NewAxioms/CoincidentOverlap
143type family Or (a :: Constraint) (b :: Constraint) :: Constraint where
140type family Or (a :: Constraint) (b :: Constraint) :: Constraint where
141+ -- This works because of:
142+ -- https://ghc.haskell.org/trac/ghc/wiki/NewAxioms/CoincidentOverlap
144 Or () b = ()
143 Or () b = ()
145 Or a () = ()
144 Or a () = ()