Uncurry the constraint on alaf