There's an (AFAICT) undocumented feature in Hugs, which behaves the same as GHC -XNamedFieldPuns 

>    data Thing a = MkThing {field :: a}
>    foo MkThing{ field } = field
>    --           ^^^^ shorthand for { field = field }


AntC