[\lambda x:bool. nat]
match true with
[ true \Rightarrow O
| false \Rightarrow (S O) ]