A typeclass-based Prelude.