yes = (a foo) :: Int