// Problem - how to differentiate?

foo :: a * b -> a * b
foo x:
    match x
    | (a, b): (a, b * 3)

foo :: a -> b -> String
foo (a, b): "Hello, world! - " + b.ToString()

foo (a, b)