:l T7386.hs
let x = SSucc SZero
:f x