added examples for LabelledGenerics and Coproduct