featherweight-go Implement Featherweight Go using Elm Implement FG code parser FG type checker FGG code parser FGG type checker Monomorphisation Build $ elm make app/Main.elm --output=docs/static/main.js