[Haskell-cafe] Local types

[Tom Ellis]

On Mon, Jan 25, 2016 at 06:26:29PM +0100, Johannes Waldmann wrote:
> > I often wish to be able to define local types and instances ...
> 
> https://mail.haskell.org/pipermail/haskell-cafe/2014-October/116291.html

It seems to me that this is a different issue.

M Farkas-Dyck wants to be able to define local types *and instances for
them*.  Oleg is talking about local instances for global types.

Tom