Used SYB to simplify Extract.hs