haskell-copilot-theorem