module type StandaloneAttribute  =
  sig
    [@@@standaloneAttribute ]
    [@@@standaloneAttribute withPayload]
    [@@@standaloneAttribute fun [arity:1]x -> x]
  end