Amp warnings

Applicative/Monad warnings working