F1 monad instance