Completed conditionals, hof, polymorphism, and lazy seq