foo
  :: ( Int
       -> Int
     )
  -> Bool