User:Wearsunscreen/sandbox/99/Algebraic Data Types/Problem 12: Run-length decoding