Some type class experiments.