Coercion: Try dropping constraintIsLifted axiom
drwxr-xr-x - .arc-linters
-rw-r--r-- 197 .arcconfig
-rw-r--r-- 2987 .arclint
-rw-r--r-- 3760 .gitignore
-rw-r--r-- 3250 .gitmodules
-rw-r--r-- 23984 .mailmap
-rw-r--r-- 2602 .travis.yml
-rw-r--r-- 4453 ANNOUNCE
-rw-r--r-- 4877 HACKING.md
-rw-r--r-- 1745 INSTALL.md
-rw-r--r-- 1611 LICENSE
-rw-r--r-- 2248 MAKEHELP.md
-rw-r--r-- 6818 Makefile
-rw-r--r-- 5439 README.md
-rw-r--r-- 1589 Vagrantfile
-rw-r--r-- 71287 aclocal.m4
drwxr-xr-x - bindisttest
-rwxr-xr-x 7496 boot
drwxr-xr-x - compiler
-rw-r--r-- 42856 config.guess
-rw-r--r-- 35740 config.sub
-rw-r--r-- 39488 configure.ac
drwxr-xr-x - distrib
drwxr-xr-x - docs
drwxr-xr-x - driver
-rw-r--r-- 58427 ghc.mk
drwxr-xr-x - ghc
drwxr-xr-x - includes
drwxr-xr-x - inplace
-rwxr-xr-x 13997 install-sh
drwxr-xr-x - iserv
m--------- - libffi-tarballs
drwxr-xr-x - libffi
drwxr-xr-x - libraries
drwxr-xr-x - mk
m--------- - nofib
-rw-r--r-- 5089 packages
drwxr-xr-x - rts
drwxr-xr-x - rules
-rw-r--r-- 1568 settings.in
drwxr-xr-x - testsuite
drwxr-xr-x - utils
-rwxr-xr-x 10396 validate