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