ferrum
ferrum copied to clipboard
`match(val: V, pred: V -> Bool, mapFn: V -> U) -> U` isType(val, Type)
isType = (val, T) => type(v) === T;
match = (v, pred, fn) => pred(v) ? fn(v) : v