Yet another External Core bug

The attached file (generated by running ghc -fext-core on the Fibheaps 
benchmark from the nofib suite) fails to typecheck:

$ ghc -dcore-lint Fibheaps.hcr

Couldn't match `#' against `*'
    Expected kind: #
    Inferred kind: *
When checking kinds in `GHC.Prim.(->) (GHC.Prim.State# s)'


-- 
Kirsten Chevalier * krc@xxxxxxxxxxxxxxxxxxx * Often in error, never in doubt

Fibheaps.hcr
Description: Text document