Hello everyone, Sylvain Henry just opened Pull Request #22  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  https://github.com/ghc-proposals/ghc-proposals/pull/22
Description: PGP signature
_______________________________________________ ghc-devs mailing list firstname.lastname@example.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs