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