Emil Hotkowski

1. Do you want to add this to UCM? 2. Which option do we prefer? (adding new command is easy IMO by adding parameter to [HandleShowDefinition](https://github.com/unisonweb/unison/blob/51fb28afd014a468cce20d3dda5fc016cfd9e393/unison-cli/src/Unison/Codebase/Editor/HandleInput.hs#L1940) function _onlyType_ or something...

I'll add code that can handle this option, but if we choose differently it should be easy to fix PR.

If we need something more complicated then what I thought than I'd need some guidance to implement this 🤪

Because of operators like `And` and `Or` [this function](https://github.com/zio/zio/blob/c450663fbabfe3612c55c1d49228d84327020db2/test/shared/src/main/scala/zio/test/TestArrow.scala#L159) runs DFS on graph created by `TestArrow` in pessimistic case. The only way to make recursive DFS stack safe is to...

@kitlangton Actually I have a question before I go to deep into FP wormhole. I'm not an expert of FP but I would use `trampolining` to solve this problem. Does...

BTW I believe that also `TestTrace.prune` suffers from the same stack problem. Just as a simple test I did following ```scala def run[A, B](arrow: TestArrow[A, B], in: Either[Throwable, A]): TestTrace[B]...

I shoot my shoot and I tried to test trampoline method myself. This is the [result](https://github.com/emilhotkowski/zio/commit/23b986987dead3fce3126435e823c860d1ec7ceb) of my experiment. We need to make two functions stack safe, one create `TestArrow`...

@kitlangton is this still relavent? I didn't get any answer last time. I think we could use trampolining, either with ZIO object or TailRec from standard Scala.

@jdegoes Can OSS contributors chime in with ideas or follow discussion on Discord ?

I added syntax and test for it, but I am not sure if we need laws. Looking at `TraverseFilterLaws`, we don't have laws for other functions like `sequenceFilter`. Should I...