D | Generics.Instant.Zipper.Example.Dept |
Dept | |
1 (Type/Class) | Generics.Instant.Zipper.Example.Dept |
2 (Data Constructor) | Generics.Instant.Zipper.Example.Dept |
dept | Generics.Instant.Zipper.Example.Dept |
DeptFam | Generics.Instant.Zipper.Example.Dept |
Dept_D_ | Generics.Instant.Zipper.Example.Dept |
down | Generics.Instant.Zipper |
down' | Generics.Instant.Zipper |
downR | Generics.Instant.Zipper |
downR' | Generics.Instant.Zipper |