[GHC Proposal] "Constraint to Bool" wired-in type family

[Ben Gamari]

Hello everyone,

Sylvain Henry just opened Pull Request #22 [1] against the ghc-proposals
repository. This proposal describes a type family which would given
users access to type-level evidence of the satisfiability of a
constraint.

Please feel free to read and discuss the proposal on the pull request.

Cheers,

- Ben


[1] https://github.com/ghc-proposals/ghc-proposals/pull/22
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 454 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20161016/63996f14/attachment.sig>