sample typeclass