Make the code to compute the haskell:Provides line clearer and more testable