sample typeclass extraction