Category Theory Illustrated – Types