Forward Declared Type Default

A type parameter default references another type parameter that has not yet been declared. Type parameter defaults are evaluated left to right and may only reference previously declared parameters.