ConApp i -> doConApp "" i ([] :: [IExpr con var])
ConAppI i a1 -> doConApp "" i [a1]
ConAppP i a1 -> doConApp "" i [a1]
ConAppPP i a1 a2 -> doConApp "" i [a1,a2]
ConApp i -> doConApp "" i ([] :: [IExpr con var])
ConAppI i a1 -> doConApp "" i [a1]
ConAppP i a1 -> doConApp "" i [a1]
ConAppPP i a1 a2 -> doConApp "" i [a1,a2]