innertypes
destruct è ok?