@@ -23,11 +23,11 @@ namespace Builtins
2323 ||| UniqueTypes.
2424 ||| @A the type of the left elements in the pair
2525 ||| @B the type of the left elements in the pair
26− data UPair : (A : Type*) -> (B : Type*) -> Type where
26+ data UPair : (A : AnyType) -> (B : AnyType) -> AnyType where
2727 ||| A pair of elements
2828 ||| @a the left element of the pair
2929 ||| @b the right element of the pair
30− MkUPair : {A, B : Type*} -> (a : A) -> (b : B) -> UPair A B
30+ MkUPair : {A, B : AnyType} -> (a : A) -> (b : B) -> UPair A B
3131
3232 ||| Dependent pairs
3333 |||