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