5. SubhaskType safe interface for working in subcategories of Hask
9. typeparamsLens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation
11. gitlearna course management system (similar to ilearn) based on git
12. homoiconicConstructs FAlgebras from typeclasses, making Haskell functions homoiconic