MichaelXavier/CheckPt-Haskell not found