scooty-puff·vor 14 Jahren·discussThe problem is that the type would be expanded indefinitely: Map t (Map t (Map t ... Try: newtype MTree t = MTree (Map t (MTree t))
scooty-puff·vor 14 Jahren·discussDoes 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, etc., then yes.
Try: