BiinvariantFunctor

http://hackage.haskell.org/package/invariant-0.1.0/docs/Data-Functor-Invariant.html#t:Invariant2