Show selfbounding makes covariant argument type possible