-
Extend Bitraversable with firstA and secondA 4 of 5 checklist items completed!11466
-
Concreteness: emit "ki ~ TYPE alpha" 0 of 1 checklist item completed!11313
-
Draft: Use checkTyEqRhs to make types concrete 0 of 2 checklist items completed!11308