Fixing type rule