Haskell Foldable Wats

[Manuel Gómez]

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.