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