teh

Just to add more context: We also care about mutual recursion as pointed out in the opening comment of this issue. For pure self-recursion we could add a `Self` combinator...

Here's a working example though I don't fully understand yet why this specific combination introduce recursion, as I am still calling resolve recursively (but that's probably it). I will try...

And an example with mutual recursion - the trick is to include a judiciously placed loop-breaker that's an actual data type with a constructor, which is how mutual recursion works...

Note that `HasAnnotatedType` returns garbage, but that doesn't matter because we aren't really using that information yet. If `HasAnnotatedType` used `getAnnotatedType @Directory` it'd lead to infinite recursion. In order to...

"Type" is overloaded :). I specifically mean GraphQL types, i.e.: ``` type X = Object "X" '[] '[...] ^^^ this ```

@sunwukonga https://github.com/jml/graphql-api/pull/128/files might be interesting. We haven't quite figured out yet what to do about the `FromJSON` for `ConstScalar` instance. As implemented in that PR it has some limitations, and...

I can't even remember that discussion but it does seem like a sensible change!

Thanks for the detailed report! looking at the expansion: ```haskell λ :kind! Handler IO Query Handler IO Query :: * = IO (Text -> IO (Maybe (Object "Foo" '[] '[Field...

Related: https://github.com/jml/graphql-api/issues/102 I'm checking but might take a while because I haven't touched this part of the code in a while :)

@sunwukonga I had a go at this last weekend and I'm not so sure what I did any more either! I feel you are on the right track (we forgot...