Data.SBV.Examples.Uninterpreted.Sort
data
Q
f
t1
t2