śĪ! Nā(      !"#$%&'Safe&'-.1456=>?DHX_fŚ()*None&'-.1456=>?DHX_fkµ*+,-./0123456789:;< 5None&'-.1456=>?DHX_f7None&'-.1456=>?DHX_fu    None&'-.1456=>?DHX_fk›=5>      !"#$ %&'()*+,-.//011233455677899:;;<=>"Fin-0.2.8.0-IyJ6MKI3BDB3F9ogF4elw6 Data.Fin.ListData.FinData.Fin.PermutationData.ApData.Fin.Private$peano-0.1.0.1-IJxbCUsTTmDCSxxzGSmNfr Data.PeanoPeanoListNil:.FinZeroSuccenuminj₁proj₁lift₁fromFintoFintoFinMayfromListunconsheadtailinitlastreverserotate!!atswappred Permutationapplyunapplyorbitcycles$fGroupPermutation$fMonoidPermutation$fFinitePermutation$fUniversePermutation$fSemigroupPermutation$fFunctorStream$fShowPermutation$fEqPermutationApapSunSFlipunFlipTtProj₁ unProj₁Joinā‚‚ unJoinā‚‚JoinunJoin:<