23 Aug
2018
23 Aug
'18
11:24 a.m.
Hello Paul, (() :: Constraint) is the empty constraint. The kind annotation is sometimes optional but useful to disambiguate from the unit type. Li-yao On 08/23/2018 07:18 AM, Paul wrote:
Hello, Dear Cafe! I have expression
'True ~ 'True
in right hand side of type level function. Is some "constant" for the same?
_______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.