genBoolFun2 :: (String, String) -> String
genBoolFun2 (strTy1,strTy2) = "instance BoolFun2 " ++ strTy1 ++ " " ++ strTy2
genBoolFun2 :: (String, String) -> String
genBoolFun2 (strTy1,strTy2) = "instance BoolFun2 " ++ strTy1 ++ " " ++ strTy2
genBoolFun2 (strTy1,strTy2) = "instance BoolFun2 " ++ strTy1 ++ " " ++ strTy2