Implicit typeclass instances are going to be really annoying if we
actually end up adopting these casts.