Type bounds and definitions.