--!!! cc004 -- ccall with synonyms, polymorphic type variables and user type variables.
module Test where
-import PreludeGlaIO
+import PreludeGlaST
-- Since I messed up the handling of polymorphism originally, I'll
-- explicitly test code with UserSysTyVar (ie an explicit polymorphic