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