Index
| I | Data.Impossible.Compact |
| IM | Data.Impossible.Compact |
| Impossible | |
| 1 (Type/Class) | Data.Impossible |
| 2 (Data Constructor) | Data.Impossible |
| impossible | Data.Impossible |
| impossible' | Data.Impossible |
| ImpossibleM | Data.Impossible |
| ImpossibleM1 | |
| 1 (Type/Class) | Data.Impossible |
| 2 (Data Constructor) | Data.Impossible |
| ImpossibleM2 | |
| 1 (Type/Class) | Data.Impossible |
| 2 (Data Constructor) | Data.Impossible |
| ImpossibleM3 | |
| 1 (Type/Class) | Data.Impossible |
| 2 (Data Constructor) | Data.Impossible |
| ImpossibleM4 | |
| 1 (Type/Class) | Data.Impossible |
| 2 (Data Constructor) | Data.Impossible |
| ImpossibleM5 | |
| 1 (Type/Class) | Data.Impossible |
| 2 (Data Constructor) | Data.Impossible |
| ImpossibleNat | Data.Impossible |
| ImpossibleT | Data.Impossible |