foo :: Int -> Int -> Int -> Int
foo (Foo g o)
    (Bar
       x y) z = x