type aliased correctly