resolver: nightly-2019-12-25

extra-deps: [base-noprelude-4.13.0.0]