--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/cmake_modules/checkModule.hs	Fri Dec 06 22:20:53 2019 +0100
@@ -0,0 +1,6 @@
+{-# LANGUAGE ImpredicativeTypes #-}
+module Main where
+
+import qualified MODULE as M
+
+main = undefined $ M.FUNCTION PARAMETERS