以下代码在Go中实现了一个整数列表：

package main

import "fmt"

type List struct {
    Head int
    Tail *List
}

func tail(list List) *List {
    return list.Tail
}

func main() {
    list := List{Head: 1, Tail: 
         &List{Head: 2, Tail:
         &List{Head: 3, Tail:
         nil}}}
    fmt.Println(tail(list).Head)
}

问题是这仅适用于int。如果我想要一个列表strings，则
需要再次重新实现每个列表方法（例如tail）！这显然是不切实际的，因此，可以通过使用空接口来解决：

type List struct {
  Head interface{} // Now works for any type!
  Tail *List
}

问题是：1.由于类型转换，这似乎要慢得多； 2.它放弃了类型安全性，允许人们对任何内容进行类型检查：

// This type-checks!
func main() {
    list := List{Head: 123456789 , Tail:
         &List{Head: "covfefe" , Tail:
         &List{Head: nil       , Tail:
         &List{Head: []int{1,2}, Tail:
         nil}}}}
    fmt.Println(tail(list).Head)

显然，该计划应该 不会 在静态类型语言类型检查。

我该如何实现一个List类型，它不需要我为每个包含的类型重新实现所有List方法，但又可以保持预期的类型安全性和性能？