Доброго времени,
не понятно как работает патерн матчинг, например надо различать что пришло, tuple или что-то другое,
почему в msg1: This rule will never be matched

let tst =  fun message ->
                match message with
                | To, msg       ->  printf "tuple"
                | msg1          ->  printf "object"

в эрланге подобная конструкция работает:

fun_test (Y) ->
    case Y of
        {To, Message}     -> tuple;
        Message                    -> not_tuple
    end.