1{-# LANGUAGE NamedFieldPuns #-} 2 3 4data Foo = Foo { a :: Bool, b :: Bool } 5 6foo Foo {a, b} = _ 7 8