type-aligned