`implementation` doesn't validate wether all the functions required by the interface have been implemented.

[tadeuzagallo]

interface Show<T> {
  show(T): String
}

interface Show<String> {}

Should throw implementation Show<String> doesn't implement the required method "show(T): String"