Familia: Unifying Interfaces, Type Classes, and Family Polymorphism [pdf]cs.uwaterloo.ca1 point·danny00··0 commentsOpen articleSaveView on HN