%0 Conference Paper
%K free theorems
%K Haskell
%K monads
%K non-determinism
%K permutation
%K sorting
%B Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming
%D 2016
%I ACM
%P 168-179
%R 10.1145/2951913.2951949
%T All Sorts of Permutations (Functional Pearl)
%@ 978-1-4503-4219-3