Category Theory Illustrated - Types