test `pure` and `ap` for `Result`