1 {-# LANGUAGE ImpredicativeTypes #-}

     2 module Main where

     3 

     4 import qualified MODULE as M

     5 

     6 main = undefined $ M.FUNCTION PARAMETERS