[Int, String, Int] みたいなリストを、一個ずつ型安全に取り出せるのがHListの旨味ですよね？