Typechecking in Haskell - ku-fpg/blackboard GitHub Wiki Trick using ~ in types http://www.reddit.com/r/haskell/comments/32f458/whats_the_purpose_of_a_constraint_in_the/