let example t => 3 -> (@ s n => * t n);