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 ~>.
For example, people might not know that the type of
Data.Array.fromFoldableisforall f a. Foldable f => f ~> Array; this means that the queryf a -> Array adoes not pick it up. One way to address this could be to build in knowledge of some basic type operators like~>.