| (a,a) -> (a -> b) -> Array b c -> Array a c |
| (a,a) -> [(a,b)] -> Array a b |
| (a,a) -> [b] -> Array a b |
| (b -> c -> b) -> Array a b -> [(a,c)] -> Array a b |
| (b -> c -> b) -> b -> (a,a) -> [(a,c)] -> Array a b |
| Array a b -> (a,a) |
| Array a b -> [(a,b)] |
| Array a b -> [(a,b)] -> Array a b |
| Array a b -> [a] |
| Array a b -> [b] |
| Array a b -> a -> b |