Define class declaration of GFJ as a dependent type