I | |
1 (Type/Class) | Generics.Simplistic |
2 (Data Constructor) | Generics.Simplistic |
Implies | Generics.Simplistic.Util, Generics.Simplistic |
InL | Generics.Simplistic.Util |
InR | Generics.Simplistic.Util |
inr1 | Generics.Simplistic.Zipper |
IsElem | Generics.Simplistic.Util |