absurd | Type.Class.Witness |
absurdC | Type.Class.Witness |
addCong | Type.Family.Nat |
addS | Data.Type.Nat |
AddW | |
1 (Type/Class) | Type.Family.Nat |
2 (Data Constructor) | Type.Family.Nat |
addZ | Data.Type.Nat |
append' | Data.Type.Product |
appendCong | Type.Family.List |
appendF | Data.Type.Product.Lifted |
apply | Type.Class.Witness |