Re: [Haskell-cafe] How to define instance for type synonym with parameter.

Vasyl Pasternak writes:

Could anyone tell me what is going on, and how to declare SomeMonad as instance of Applicative ?

You can't, because you can't define new instances for type aliases. If you really want SomeMonad to have a custom instance, define it as a newtype. -- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com IvanMiljenovic.wordpress.com