Type System Detail 2

by Steve Hickey