Unify Type Classes and GADTslambda-the-ultimate.org1 point·scscsc··0 commentsOpen articleSaveView on HN