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