Types

Ideas collected by Constantine Novikov