./process.dhall < Right = True | Left : Natural >