MAP III : Types of Types
When talking about types in computer science, one could be talking about two types of types. Types fr...
Tags: functional, types, scala, categorytheory