-- Found hole `_' with type f (Free f b)
Languages with Typed Holes include Haskell, Agda, Hazel, darklang
View all concepts with or missing a hasTypedHoles measurement
Read more about Typed Holes on the web: 1.