9871 shaares
243 private links
243 private links
A kind is a type constructor that takes a type, and produces a new type.
The quthor recreates a map function
A kind is a type constructor that takes a type, and produces a new type.
The quthor recreates a map function