Contravariant instance of Input