Relax `some` and `none` constraint

Should only require Applicative, not Monad.