id Summary Status Keywords Owner Type Priority 1795 Types for srfi-69 egg new types eggs defect minor 938 Feature Request: Load type files for units assigned types units felix winkelmann enhancement minor 1446 Implement contravariant type checking for procedure types new contravariant types enhancement not urgent at all 1796 Allow type definitions to be exported. new types modules enhancement major 1798 No promise type. new types, promises enhancement minor