Fix duplicate instances
Fix Applicative-Monad instances