Loosen Monad context on AssociationLoaders

Functor is sufficient for Functor
Applicative is sufficient for Applicative