diff --git a/servant/src/Servant/Utils/Links.hs b/servant/src/Servant/Utils/Links.hs index 853cf995..8b9537af 100644 --- a/servant/src/Servant/Utils/Links.hs +++ b/servant/src/Servant/Utils/Links.hs @@ -137,10 +137,9 @@ data Link = Link } deriving Show -- | If either a or b produce an empty constraint, produce an empty constraint. --- --- This works because of: --- https://ghc.haskell.org/trac/ghc/wiki/NewAxioms/CoincidentOverlap type family Or (a :: Constraint) (b :: Constraint) :: Constraint where + -- This works because of: + -- https://ghc.haskell.org/trac/ghc/wiki/NewAxioms/CoincidentOverlap Or () b = () Or a () = ()