Perhaps, no longer relevant without type ascription though.