remove SOME x/NONE in alloc