{t : Type u → Type u → Type u} →
  [toBifunctor : Bifunctor t] →
    ({m : Type u → Type u} → [Applicative m] → {α α' β β' : Type u} → (α → m α') → (β → m β') → t α β → m (t α' β')) →
      Bitraversable t