data Bar = Bar { ax :: Int, bax :: Bool }

bar :: () -> Bar -> Int
bar ax Bar {ax = n, bax} = _w0