Uncovered: Type-Only Covers