functions to make an N element toop from a List.
takeT1 : List a -> Maybe ( Toop.T1 a, List a )
1 element toop.
takeT2 : List a -> Maybe ( Toop.T2 a a, List a )
2 element toop.
takeT3 : List a -> Maybe ( Toop.T3 a a a, List a )
3 element take.
takeT4 : List a -> Maybe ( Toop.T4 a a a a, List a )
4 element take.
takeT5 : List a -> Maybe ( Toop.T5 a a a a a, List a )
5 element take.
takeT6 : List a -> Maybe ( Toop.T6 a a a a a a, List a )
6 element take.
takeT7 : List a -> Maybe ( Toop.T7 a a a a a a a, List a )
7 element take.
takeT8 : List a -> Maybe ( Toop.T8 a a a a a a a a, List a )
8 element take.
takeT9 : List a -> Maybe ( Toop.T9 a a a a a a a a a, List a )
9 element take.
takeT10 : List a -> Maybe ( Toop.T10 a a a a a a a a a a, List a )
10 element take.
takeT11 : List a -> Maybe ( Toop.T11 a a a a a a a a a a a, List a )
11 element take.
takeT12 : List a -> Maybe ( Toop.T12 a a a a a a a a a a a a, List a )
12 element take.
takeT13 : List a -> Maybe ( Toop.T13 a a a a a a a a a a a a a, List a )
13 element take.
takeT14 : List a -> Maybe ( Toop.T14 a a a a a a a a a a a a a a, List a )
14 element take.
takeT15 : List a -> Maybe ( Toop.T15 a a a a a a a a a a a a a a a, List a )
15 element take.
takeT16 : List a -> Maybe ( Toop.T16 a a a a a a a a a a a a a a a a, List a )
16 element take.