resolver: nightly-2019-12-25 extra-deps: [base-noprelude-4.13.0.0]