let always_compatible_types = function
  | Base(Message-> true
  | _ -> false