No required contexts for functions
In the results of a unification search we apply the unifier found for each result to its type context, so that we can show a required context (and whether/where the relevant instances are found in the database).
finaliseDB in Cloogle.DB.Factory does
removeTypeContexts, this information is not available for normal functions. It is only available for class members and generics, which store the type contexts separately as well.
Because of this, the
<*> result for
:: (a b -> c) (a -> b) a -> c has a required context, but the
ap result does not:
We need to check whether
removeTypeContexts can safely be removed from