if-instance-0.3.1.0: Branch on whether a constraint is satisfied

Index

testM2
test2M2
test3M2
unsafeCoerceM2