Skip to content

Implement Explicit Foralls Proposal

Implement Richard Eisenberg's Explicit Foralls proposal. https://github.com/ghc-proposals/ghc-proposals/pull/55

For details see the proposal: https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0007-instance-foralls.rst

Edited by johnleo
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information