That makes sense, thank you.
Roman
* Simon Peyton-Jones [2013-03-21 08:25:03+]
> Generally speaking ALL constraints (class constraints, equality constraints,
> implicit parameters) range only over monotypes.
>
> The apparatus should extend to polymorphic types, be it's somewhat uncharted
Generally speaking ALL constraints (class constraints, equality constraints,
implicit parameters) range only over monotypes.
The apparatus should extend to polymorphic types, be it's somewhat uncharted
territory. I doubt there'd be much problem in the case of implicit parameters.
In short, i
