Open
Description
There's a pattern in Q# of using *A, *C, *CA suffixes operations that take in other operations as arguments, and that themselves inherit the functors of the given operation. Q# should have a way to abstract over this, like a type parameter for functors.