Remove Applicative/Monad instance due to law violation