to be, in two ways. first, the map and filter situation was uneccesary.
list comprehension with a verify predicate is more easily followed.
b) the monadic bind thing could be cool in the predicate, as i could
create one mega computation for the verify, but its entirely unecessary,
and makes each individual check more complex than it needs to be.
c) this is simple enough that type annotations are unecessary.
d) stopped trying to do io or using the main function. it seems sensible
to treat this as a library of functions rather than a single program to be
executed.
e) the checks here are somewhat specific, it makes sense to make them
only visible to the passcodes function.
aliasless