-- boilerplate functions
-- unary functions
genBoolFun1 :: String -> String
genBoolFun1 strTy1 = "instance BoolFun " ++ strTy1
genBoolFun1 :: String -> String
genBoolFun1 strTy1 = "instance BoolFun " ++ strTy1
genBoolFun1 strTy1 = "instance BoolFun " ++ strTy1