Fixed type variables in the Formlet definition