[Haskell-cafe] Local types

Tom Ellis tom-lists-haskell-cafe-2013 at jaguarpaw.co.uk
Mon Jan 25 17:29:37 UTC 2016


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


More information about the Haskell-Cafe mailing list