let fö : en scm fi * nat.