I like projects like Gemini and QBE that try to keep things simple.
Add rudimentary pure interpreter in Interp.hs
Update stackage release & use default-extensions in cabal file
Basic play/stop controls via html form + hyper
add extra symbol & special letter layer
std-rs: add tcp connection, tls connection w rustls
Less desugaring in Parse (do in Infer instead), more concrete Parsed.
Add example list-monad to demo macro features & the do macro