Open anatoliykmetyuk opened 7 years ago
Natural transformations are almost always used in situations when the upper bound for A in apply[A] is known. Currently, this knowledge is present in the form of type casts where needed, which is not good.
A
apply[A]
Natural transformations are almost always used in situations when the upper bound for
Ainapply[A]is known. Currently, this knowledge is present in the form of type casts where needed, which is not good.