added typeclass structure in the liftable file