haxr - marshalling of Variants in Records