1 2 3 4 5 6 7 8 9 10 11 12
let additive = let semigroup = { append = \x y -> x #Int+ y } { semigroup } { (+) = additive.semigroup.append, additive, }