class A[G -> H[STRING], H]
end