dabbling around with TypeLits