24 Days of Hackage: contravariant typos