Foo Int :: *
= Foo Int
f :: Foo Int -> Int 	-- Defined at <interactive>:5:5
f :: Foo Int -> Int
f :: Foo Int -> Int