Promoted types. Now requires Common 2.20.0