./process.dhall < Left = +3 | Right : Bool >