+−{-# LANGUAGE ImpredicativeTypes #-} +−module Main where +− +−import qualified MODULE as M +− +−main = undefined $ M.FUNCTION PARAMETERS