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).
However, because 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 finaliseDB.
To upload designs, you'll need to enable LFS. More information