Type classes from the ground up