My goal is similar to this question: I would like to normalize a type in GHCi. But the type contains free type variables. For example, the type
StM (ExceptT e
