free-stuff

Last modified on September 2, 2018


Money for nothing, Theorems for free!

r :: forall x . [x] -> [x]
map f . r = r . map f