Cannonau: trueness to type