A proposal for making 02 more type-safe