Type defs