1 2 3
T11077.hs:3:1: warning: [-Wmissing-exported-sigs] Top-level binding with no type signature: foo :: forall a. a