Allowing type casts