30 Sep
2010
30 Sep
'10
12:13 a.m.
On 09/29/2010 02:15 PM, DavidA wrote:
instance Monad (\v -> Vect k (Monomial v))
Yes, that is exactly what I am trying to say. And since I'm not allowed to say it like that, I was trying to say it using a type synonym parameterised over v instead.
Why not: instance Monad ((->) Vect k (Monomial v))