Converted Effect to Church encoding