:: [a] -> [(a, a)] package:wkt-types