Why are these types incompatible?

Printable View