Add missing pragma: LANGUAGE RankNTypes