This work has since been merged into GHC master branch and is enabled with the TypeInType extension.
assert false