these have the same realkind, so why typecast?