| Alternative | Coverage.Internal |
| applyRedundant | Coverage.Internal |
| applyUncovered | Coverage.Internal |
| Binder | Coverage.Internal, Coverage |
| Binders | Coverage.Internal |
| CatchAll | Coverage.Internal, Coverage |
| Check | |
| 1 (Type/Class) | Coverage.Internal, Coverage |
| 2 (Data Constructor) | Coverage.Internal, Coverage |
| check | Coverage |
| defaultEnv | Coverage.Internal |
| DontKnow | Coverage.Internal, Coverage |
| envInfo | Coverage.Internal |
| Environment | |
| 1 (Type/Class) | Coverage.Internal |
| 2 (Data Constructor) | Coverage.Internal |
| genericMerge | Coverage.Internal |
| getRedundant | Coverage.Internal, Coverage |
| getUncovered | Coverage.Internal, Coverage |
| Guard | Coverage.Internal, Coverage |
| initialize | Coverage.Internal |
| Lit | Coverage.Internal, Coverage |
| makeCheck | Coverage.Internal |
| makeEnv | Coverage.Internal, Coverage |
| missingAlternative | Coverage.Internal |
| missingCases | Coverage.Internal |
| missingMultiple | Coverage.Internal |
| missingSingle | Coverage.Internal |
| Name | Coverage.Internal |
| NotRedundant | Coverage.Internal, Coverage |
| Opaque | Coverage.Internal, Coverage |
| Product | Coverage.Internal, Coverage |
| Record | Coverage.Internal, Coverage |
| Redundant | |
| 1 (Type/Class) | Coverage.Internal, Coverage |
| 2 (Data Constructor) | Coverage.Internal, Coverage |
| Tagged | Coverage.Internal, Coverage |
| Var | Coverage.Internal, Coverage |
| wildcard | Coverage.Internal |