（この記事では型レベル自然数Natを作って、それつかってHLIstにアクセスしているけど、同様にこういうのもつくれない……）