invariant

Haskell98 invariant functors (also known as exponential functors). For more information, see Edward Kmett's article "Rotten Bananas": http://comonad.com/reader/2008/rotten-bananas/