:: Eq a => [a] -> a -> Bool -package:hedgehog -package:stack -package:rio -package:Agda -package:incipit-base package:text-ldap

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