Applicative/Monad instance warning working