[Haskell-cafe] Re: Monad instance for partially applied type constructor?

Alexander Solla ajs at 2piix.com
Thu Sep 30 00:13:04 EDT 2010

  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))

More information about the Haskell-Cafe mailing list