Ad
  • Custom User Avatar

    Just import fix 😝

  • Custom User Avatar

    I've seen it once before, probably doing something very similar ( but it's been a while ). I never really solved that then.

    I think it just can't be done in GHC. But you don't need Y, you are allowed to just use a direct recursive definition ( because it's Haskell, and not strictly LC ), and I suspect it'll work that way.

    Does that answer your question?