Re: [Haskell-cafe] GPT & Haskell

I found it to be quite good at questions without too large of a question-specific context. E.g. it can easily solve questions like "Write a `Functor` instance for `data Foo a = Bar a | Baz a a` and prove it obeys the functor laws.". No doubt the models will get better at handling larger problems as they are scaled up.