module TI_Info (Eq, Ord, Foo) where import InfoUtil (Eq, Ord, Foo) -- >>> :i Foo