Grapariol: trueness to type