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

[Dan Doel]

On Wednesday 29 September 2010 2:52:21 pm Christopher Done wrote:
> LiberalTypeSynonyms lets you partially apply type synonyms.

Not in general. LiberalTypeSynonyms only allows synonyms to be partially 
applied when expansions of other type synonyms will eventually cause them to 
become fully applied (or discarded, probably). So, for instance:

  type Foo a = (a, a)
  type Bar f = f Int

  Bar Foo ==> Foo Int ==> (Int, Int) -- valid

It does not make partially applied synonyms first class, such that they'd be 
able to be made instances, or parameters to datatypes, etc.

-- Dan