Data.Strict.Tuple
data Pair a b
type :!: