Additional binding:
procedure(promise? v) → boolean? v : any/c
procedure(promise? v) → boolean?
procedure
(promise? v) → boolean?