made MonadInner resolvable with a transformer over a polymorphic type