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