remove dependency on ghc-lib

improve directionality of certain expressions

factor out common code & cleaner code

extract/factor-out common code

use existing concatMapM