contravariant
since 3/19/2015
8917 karma
Identity: X -> X