Fixed up docs to use Iso.hlist correctly :)