Add missing type parameter 'A' to forallM

I noticed that `forallM` is missing a type parameter for `A`. Or was it deliberately left out?

Cheers