full example or FRP voting system
partitionEither
rename activateOrReject -> activateOrRejectRule