Done some of Bind.hs