The problem is that the type would be expanded indefinitely: Map t (Map t (Map t ... Try: newtype MTree t = MTree (Map t (MTree t))
Does it hurt to have extra semi-colons? Maybe you have some empty statements. Does it hurt to have too few? Well, if you either do not know what you're doing, or someone maintaining doesn't understand what you did,…
http://hpaste.org/52109, in case one prefers to be more explicit.
http://hpaste.org/52108
The problem is that the type would be expanded indefinitely: Map t (Map t (Map t ... Try: newtype MTree t = MTree (Map t (MTree t))
Does it hurt to have extra semi-colons? Maybe you have some empty statements. Does it hurt to have too few? Well, if you either do not know what you're doing, or someone maintaining doesn't understand what you did,…
http://hpaste.org/52109, in case one prefers to be more explicit.
http://hpaste.org/52108