Updated the examples to accomodate the changes to polymorphic typing