terms.dev
txt
json
groups
about
feed
type constructor:
Builds new types from old ones. e.g. given an Int to List[T], it builds List[Int]
</>