foo :: (GHC.Types.Int -> GHC.Types.Bool) -> GHC.Types.Bool