-i386/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Monoid.html#t:Monoid">Monoid</a> a) =&gt; ([<a href="/Users/audreyt/Library/Haskell/ghc-7.4.1/lib/sbv-2.3/doc/html/Data-SBV.html#t:SatResult">SatResult</a>] -&gt; Hits -&gt; (Hits -&gt; <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-i386/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> a) -&gt; <a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-i386/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html