Generics sop cabal problem