"beyond type: given type not allowed"