let max a b => a { < b => b };

let ! n => n { > 1 => - n 1 -> ! -> * n } -> max 1;