Simplying definitions with a type alias.