(`t` is of type `(Kind<ForOption, Int>, Kind...
# arrow
b
(
t
is of type
(Kind<ForOption, Int>, Kind<ForOption, Int>) -> Kind<ForOption, String>
)