Data.Expression.Utils.Indexed.Sum

data (f :+: g) a i

class f :<: g

inject

match