Hâóè config-v3 --user--package-db=clear--package-db=globalI--package-db=/Users/niki/.stack/snapshots/x86_64-osx/lts-11.2/8.2.2/pkgdbg--package-db=/Users/niki/tmp/test/proof-combinators/.stack-work/install/x86_64-osx/lts-11.2/8.2.2/pkgdba--libdir=/Users/niki/tmp/test/proof-combinators/.stack-work/install/x86_64-osx/lts-11.2/8.2.2/liba--bindir=/Users/niki/tmp/test/proof-combinators/.stack-work/install/x86_64-osx/lts-11.2/8.2.2/bind--datadir=/Users/niki/tmp/test/proof-combinators/.stack-work/install/x86_64-osx/lts-11.2/8.2.2/sharei--libexecdir=/Users/niki/tmp/test/proof-combinators/.stack-work/install/x86_64-osx/lts-11.2/8.2.2/libexece--sysconfdir=/Users/niki/tmp/test/proof-combinators/.stack-work/install/x86_64-osx/lts-11.2/8.2.2/etc{--docdir=/Users/niki/tmp/test/proof-combinators/.stack-work/install/x86_64-osx/lts-11.2/8.2.2/doc/proof-combinators-0.1.0.0|--htmldir=/Users/niki/tmp/test/proof-combinators/.stack-work/install/x86_64-osx/lts-11.2/8.2.2/doc/proof-combinators-0.1.0.0--haddockdir=/Users/niki/tmp/test/proof-combinators/.stack-work/install/x86_64-osx/lts-11.2/8.2.2/doc/proof-combinators-0.1.0.0--dependency=base=base-4.10.1.0--enable-tests--enable-benchmarks base-4.10.1.0'/Users/niki/tmp/test/proof-combinators/