Haskell Foldable Wats

Manuel Gómez targen at gmail.com
Wed Feb 24 20:25:23 UTC 2016

On Wed, Feb 24, 2016 at 3:53 PM, Manuel Gómez <targen at gmail.com> wrote:
> 2.  to implement a language extension in GHC that allows source
> language to specify a certain instance will never be defined and a
> type error shall be thrown statically at any use site, or

I misspoke: this should read «at any instance definition site for the
forbidden instance» or somesuch.

More information about the Libraries mailing list