Typed holes (in #purescript or GHC #haskell or wherever) are just too useful. I don't know how to operate in higher-order / heavily polymorphic code without them anymore. :blobfoxgooglyconfused:
Writing a new language is hard... so much to implement before I'm even willing to use it myself! 😜
