GateToken a Monad