LabelledCoproductInstances
shapes
LabelledHListInstances
shapes