Lots of functions that deal in `Strategy` would be more naturally written for ``` type Strategy' a b = a -> Eval b ``` This tiny generalization bypasses `map`.