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