This type is not defined either of course