[incomplete] Add Closure.hs