TC.js example translated into Squiggle

main.js

var TC = require('tc');
var add = TC
    .takes([TC.Number, TC.Number])
    .returns(TC.Number)
    .by(function(a, b) { return a + b; });
var getName = TC
    .takes([TC.Object(TC.Any)])
    .returns(TC.String)
    .by(function(obj) { return obj.name; });
var max = TC([TC.Number, TC.Number], TC.Number, Math.max);

add(3, 2);   // => 5
add(3, 'x'); // => Error "wrong argument type"
add();       // => Error "wrong number of arguments"

getName({ name: 'Brian' }); // => 'Brian'
getName({ name: null });    // => Error "wrong return type"

max(3, 2); // => 3
max();     // => Error "wrong number of arguments"

main.rb

let (
    TC = require("tc"),
    add = TC
        .takes([TC.Number, TC.Number])
        .returns(TC.Number)
        .by(fn(a, b) a + b),
    getName = TC
        .takes([TC.object(TC.Any)])
        .returns(TC.String)
        .by(fn(obj) obj.name),
    max = TC([TC.Number, TC.Number], TC.Number, Math.max)
) do {
    add(3, 2);   # => 5
    add(3, "x"); # => TC type error
    add();       # Squiggle arity error
    
    getName({"name": "Brian"}); # => "Brian"
    getName({"name": null});    # => TC return type error
    
    max(3, 2); # => 3
    max();     # Squiggle arity error
}