more concrete module types, testing binary in cabal