Can fully reproduce examples/PatBind.hs