convertArgs (InfixCon t1 t2) ty =
  liftA2 Arrow (convertLType t1) (liftA2 Arrow (convertLType t2) (pure ty))
convertArgs (InfixCon t1 t2) ty =
  liftA2 Arrow (convertLType t1) (liftA2 Arrow (convertLType t2) (pure ty))
convertArgs (InfixCon t1 t2) ty =
  liftA2 Arrow (convertLType t1) (liftA2 Arrow (convertLType t2) (pure ty))