module Declarative = struct
    type bind = < bind : unit >
    type listen = < listen : unit >

    type 'a mode =
    | Bind : bind mode
    | Listen : listen mode
    | BindListen : < bind ; listen > mode

    let f : < bind ; listen > mode -> bind mode = fun x -> (x :> bind mode)
  end