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