Using Dynamic, typeclass still unsolve - we can define different typeclass by forall type wrapper