I wish good types and well typed code were real

Comments