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