add typeclass is-from