Generate signatures correctly wrt polymorphic inst