The type checker is allowing a very wrong type replacement, and the program still compiles

Question

While trying to debug an issue in my program (2 circles with an equal radius are being drawn to different sizes using Gloss*), I stumbled across a strange situa