tonymorris/parametricity — pull request #1 by gseitz (2013-11-26 23:37:43+00:00)
Title: 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