----------------------------------------------------------------

(@?==) :: Eq a => Splay a -> Splay a -> Assertion
t @?== a = assertBool "" $ t === a
(@?==) :: Eq a => Splay a -> Splay a -> Assertion
t @?== a = assertBool "" $ t === a
t @?== a = assertBool "" $ t === a