On 09/17/2012 02:23 AM, Jonathan M Davis wrote: > ... That might make sense for an int, since > it can't be null, but pointers and references _can_ be and are in every type > system that I've ever used. >... You have claimed multiple times to have used Haskell.