|Maintainer||Anders Claesson <firstname.lastname@example.org>|
Permutation diagrams, or permutations as monads.
The purpose of this data type is to assign labels to the indices of a given permutation.
A permgram consists of a permutation together with a label for each index of the permutation.
Construct a permgram from an underlying permutation and a list of labels.