dterei/ghc-lecture not found