F2_2<Result, State1, State2, Param1, Param2> typedef
F2_2<Result, State1, State2, Param1, Param2> =
R2_2<Result, Param1, Param2> Function(State1, State2)
Implementation
typedef F2_2<Result, State1, State2, Param1, Param2> = //
R2_2<Result, Param1, Param2> Function(State1, State2);