removing some monads from scottfree