[Haskell-cafe] Local types
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 ...
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.
More information about the Haskell-Cafe