Create unfold.hs