24 Days of Hackage 2013: contravariant