scalaz/scalaz — pull request #224 by halcat0x15a (2012-12-15 13:20:53+00:00)
Title: fix type argument

I could not compile this example:

```scala
def combine[F[_, _], S, A](f: F[S, A])(implicit F: MonadState[F, S], S: Show[S], A: Show[A]) =
F.bind(f)(a => F.map(F.init)(b => a.shows |+| b.shows))

combine(State.state[Int, Int](2)).eval(3)

implicit val m = undoTMonadState[Int, Id]

combine[({ type F[S, A] = UndoT[Id, S, A] })#F, Int, Int](mkUndoT[Id, Int, Int](h => h -> 2))
```