given a function of N arguments, apply that function to a toop of size N.
applyT1 : (a -> b) -> Toop.T1 a -> b
1 element apply.
applyT2 : (a -> b -> x) -> Toop.T2 a b -> x
2 element apply.
applyT3 : (a -> b -> c -> x) -> Toop.T3 a b c -> x
3 element apply.
applyT4 : (a -> b -> c -> d -> x) -> Toop.T4 a b c d -> x
4 element apply.
applyT5 : (a -> b -> c -> d -> e -> x) -> Toop.T5 a b c d e -> x
5 element apply.
applyT6 : (a -> b -> c -> d -> e -> f -> x) -> Toop.T6 a b c d e f -> x
6 element apply.
applyT7 : (a -> b -> c -> d -> e -> f -> g -> x) -> Toop.T7 a b c d e f g -> x
7 element apply.
applyT8 : (a -> b -> c -> d -> e -> f -> g -> h -> x) -> Toop.T8 a b c d e f g h -> x
8 element apply.
applyT9 : (a -> b -> c -> d -> e -> f -> g -> h -> i -> x) -> Toop.T9 a b c d e f g h i -> x
9 element apply.
applyT10 : (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> x) -> Toop.T10 a b c d e f g h i j -> x
10 element apply.
applyT11 : (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> x) -> Toop.T11 a b c d e f g h i j k -> x
11 element apply.
applyT12 : (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> x) -> Toop.T12 a b c d e f g h i j k l -> x
12 element apply.
applyT13 : (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> x) -> Toop.T13 a b c d e f g h i j k l m -> x
13 element apply.
applyT14 : (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> x) -> Toop.T14 a b c d e f g h i j k l m n -> x
14 element apply.
applyT15 : (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o -> x) -> Toop.T15 a b c d e f g h i j k l m n o -> x
15 element apply.
applyT16 : (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o -> p -> x) -> Toop.T16 a b c d e f g h i j k l m n o p -> x
16 element apply.