Polymorphic guesswork