验证选择:基于Applicative和Selective仿函数的轻量级纯验证