S式の型が弱いってのがわからない。

datatype Sexp = Cons of (Sexp * Sexp) | Symbol of string |
　　　　　　Number of int | ...

みたいなvariant型だろ？ これだって安全だと思うが。