[ feature ] Monad instance