Eta-reduce the type synonyms in Plain.hs to allow use in monad transformer stacks