merge ForallTy constructor