Backed out changeset 13589d529899 So, we only disabled this on the release branch in r29d614a5c9eb due to having discovered it JUST before release. We should fix it properly in default...

{-# LANGUAGE ImpredicativeTypes #-}
module Main where

import qualified MODULE as M

main = undefined $ M.FUNCTION PARAMETERS