Marko wrote: > When typing in code (in various languages), I have a habit of typing > "..." at places that need to be implemented Quite a research area actually https://wiki.haskell.org/GHC/Typed_holes