Spark.Core.Internal.Arithmetics
type family GeneralizedHomoReturn x1 x2 where ...
class GeneralizedHomo2 x1 x2
type HomoColOp2
performOp