Upgrading the example to something better that actually type-checks
Adding better examples