yes = a foo :: Int