Search with shuffled argument order
milesfrain opened this issue · 0 comments
milesfrain commented
I often miss results due to random choice of argument order. For example:
Either a x -> (a -> a) -> Either a x
doesn't return anything useful.(a -> a) -> Either a x -> Either a x
points tolmap
which is exactly what I need.
For users who don't yet have that 6th sense of expected argument order and don't remember to try all arrangements, it could be nice for pursuit to handle this shuffling for them.