notes on type aliases and the do keyword
monad notes
move stuff into hw7
finished hw7