25 Jan
2016
25 Jan
'16
12:29 p.m.
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