{α : Type} →
  (β : Type) →
    (motive : Option (α → β) → Sort u_1) →
      (removeDuplicatesBy? : Option (α → β)) →
        ((g : α → β) → motive (some g)) → (Unit → motive none) → motive removeDuplicatesBy?