./process.dhall ((./Union.dhall).Left 3)