Remove monad transformers; too corner case to bother
Add FAM-absence workaround