Data.Fin.Permutation: exported symbols usage examples

Symbols