Taught the inferrer and compiler something about casts.