User:Wearsunscreen/sandbox/Algebraic Data Types/Problem 11: Run-length encoding