DoRec is deprecated
Needs RankNTypes