Index
| match | Data.GADT.Untagged |
| match2 | Data.GADT.Untagged |
| match3 | Data.GADT.Untagged |
| Tagged | Data.GADT.Untagged |
| Tagged2 | Data.GADT.Untagged |
| Tagged3 | Data.GADT.Untagged |
| untag | Data.GADT.Untagged |
| untag2 | Data.GADT.Untagged |
| untag3 | Data.GADT.Untagged |
| Untagged | Data.GADT.Untagged |
| Untagged2 | Data.GADT.Untagged |
| Untagged3 | Data.GADT.Untagged |