pursuit
pursuit copied to clipboard
Build-in knowledge of some type synonyms / operators?
For example, people might not know that the type of Data.Array.fromFoldable is forall f a. Foldable f => f ~> Array; this means that the query f a -> Array a does not pick it up. One way to address this could be to build in knowledge of some basic type operators like ~>.