{-# LANGUAGE ImpredicativeTypes #-}
module Main where

import qualified MODULE as M

main = undefined $ M.FUNCTION PARAMETERS