Hacking Go's type system
katcipis.github.io