WIP: safe enum type