:: Eq a => [a] -> a -> Bool -package:numhask -package:Agda -package:data-ordlist -package:base-prelude -package:mixed-types-num package:text-ldap

Test element using ordered set.
Test not element using ordered set.