right bloc type and type case