I was wondering how these two functions for call by name reduction and for normal order reduction written in SML would look like written in Haskell:
fun cbn (Va
