T11077.hs:3:1: warning:
    Top-level binding with no type signature: foo :: forall a. a