org.specs2.internal.scalaz.std
Tuple1[A] is isomorphic to Id[X]
Tuple1[A]
Id[X]
Product functor and comonad