Definition should include types such as