Parser still balks on some MPTC deriving

[nibro]

newtype SucParser s a = SucParser (S.StateT [s] [] a)
    deriving (Functor, A.Applicative, A.Alternative, M.Monad, M.MonadPlus, S.MonadState [s])

The problem is the [s]. I tried to be clever when implementing this since I figured the argument had to be a type variable or a type constructor. Clearly I need to generalize a bit further.

[nibro]

Generalization complete. We now allow any valid instance type as argument. Case closed.