New posts in Polymorphic Functions

Can I print in Haskell the type of a polymorphic function as it would become if I passed to it an entity of a concrete type?