This is now working apparently.  It relates to when a
polymorphic function gets instantiated, under some
implicit paramter bindings.