Playing around with user-defined casting