rpar package:liquidhaskell-boot

specification parse error
Mismatch in expected/actual args of abstract refinement