If we knew the subclasses, we could essentially generate the cast / coercions but only for tasks that might need them