1
{-# LANGUAGE ImpredicativeTypes #-}
2
module Main where
3
4
import qualified MODULE as M
5
6
main = undefined $ M.FUNCTION PARAMETERS