removing unused method
validating that the cabal file builds fine
refactor to files MaybeIO and Search
functions to test specific versions
"simplify" the code with implicit parameters

as usual with implicit parameters, I am not convinced that the code is
really simpler now.
find version range (lower-bound and super verbose)