go
type check go interface implementations on compile time