WIP type safety