A typeclass of Expr with a concrete instance for ExprT
Working instances for the Expr typeclass for a few different "worlds" of data
Finishing the Mod7 instance that keeps the math inside a mod 7 "world"
Getting the typeclass instance for Program to compile
Finishing the compile function that will convert a string to a Maybe Program
Some work generating infinite streams of fib numbers, both recursively and linearly
Making a custom Show for my Stream type, and a streamToList
A streamRepeat that repeats infinitely and tests the show instance