$1$
ConsK0
EmptyInstances2
EmptyK
Extract0
One0
Pure0
Zero0
$3$
ConsK0
EmptyInstances2
Extract0
One0
Pure0
Zero0