interface TypeSystem<T> {
  public default bool isProperSupertypeOf(T a, T b) { false; }
}