Category Theory Illustrated – Types - Tech Sentiments