以下のようなデータ型
final case class Tannen[F[_], G[_, _], A, B](f: F[G[A, B]])
scalaz/Tannen.scala at 7f5bbf571a18e2a29b337da238ab3f286954dd49 · scalaz/scalaz · GitHub
Bifunctor Functor Functor
↓
Biff
↓
Biff Tannen という人がいるらしい https://en.wikipedia.org/wiki/Biff_Tannen
↓
じゃあTannenにしよう!
というやり取りがあって、ekmett/bifunctorに Tannen というデータ型が3、4年前に入り、それが最近scalazに輸入されてきました。めでたしめでたし(?)