show haskell or java type depends on root concept
do not show type variable attributes