1data Bar = Bar { ax :: Int, bax :: Bool } 2 3bar :: () -> Bar -> Int 4bar ax Bar {ax = n, bax} = _w0 5 6