Type driven code generation for Go
youtube.com