dhall-1.42.3: tests/th/HigherKindUnion.dhall

\(a : Type) -> \(b : Type) -> < Foo : a | Bar : b >