Note that you'll need to authorize the use of the forall keywords by adding :

{-# LANGUAGE ExplicitForall #-}

to the beginning of your file.