Type matching vs equality when sum types are involved
https://www.reddit.com/r/ProgrammingLanguages/comments/1mhgswn/type_matching_vs_equality_when_sum_types_are/
Please Login to reply.
No replies yet.