I was wrong about type aliases