Towards type classes.