Make the purity of a SunroofValue conversion explicit in the type class.