1    λ(a : Type)
2  →   { op = λ(xs : List a) → λ(ys : List a) → xs # ys }
3    : ./../Semigroup/Type (List a)