Move HList example to unit test