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