:: Eq a => [a] -> a -> Bool -package:faktory -package:numeric-prelude -package:LambdaHack package:generic-deriving