SK combinatory logic interpreter written in Haskell