A function of type: (a: A) ⇒ Outer<Inner<A, E, R, I>, E, R, I>.
(a: A) ⇒ Outer<Inner<A, E, R, I>, E, R, I>
A function of type:
(a: A) ⇒ Outer<Inner<A, E, R, I>, E, R, I>
.