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

bar :: () -> Bar -> Int
bar ax x = _