On Thu, 2006-06-15 at 13:11 +0100, Duncan Coutts wrote:

  

then you can construct your records using:

foo = default { weight = 3.2 }
    

Oops, as David House pointed out to me that should of course be

foo = default { weight = Just 3.2 }