On 13 May 2010 19:24, Steffen Schuldenzucker <sschuldenzucker at uni-bonn.de> wrote: > Or just: > > makeOrdered a b c = let (s:t:u:_) = sort [a, b, c] in Object s t u > Hi Steffen True - but it does include a partial pattern (that will always match in this case, of course).