open D;; let f (C {f}) = ()