haskell-ogma-language-copilot