[Haskell-cafe] How to express constraint succeeded?

Li-yao Xia lysxia at gmail.com
Thu Aug 23 11:24:33 UTC 2018

Hello Paul,

     (() :: Constraint)

is the empty constraint. The kind annotation is sometimes optional but 
useful to disambiguate from the unit type.


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.

More information about the Haskell-Cafe mailing list