Collide1Shirr rc=0 
Distinct1Shirr rc=42 error: [VariableIsIrrelevant]
Collide2Qone rc=0 
Distinct2Qone rc=0 
Collide3Flat rc=0 
Distinct3Flat rc=42 error: [VariableIsOfUnusableCohesion]
Collide3Pol rc=0 
Collide4SSet rc=0 
Distinct4SSet rc=42 error: [UnequalSorts]
Agda version 2.8.0
