(program
  (let
    (nonrec)
    (datatypebind
      (datatype
        (tyvardecl RecordNewtype (type))
        
        RecordNewtype_match
        (vardecl RecordNewtype (fun (con integer) RecordNewtype))
      )
    )
    (lam ds RecordNewtype ds)
  )
)