Logical Terror monad 61