> On Jan 6, 2020, at 12:05, Alexis King <[email protected]> wrote: > > type family F a b where > F a b = () -- regular (), not (() :: Constraint)
(Err, sorry, this should be `F a a = ()`. But I think you can understand what I’m getting at.) _______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
