Add link to post on using types for a quotient approach to problem solving.