任意のHList型からswitchのパターンマッチは、まあそもそもの型の定義的に無限通りになるから無理なので (edited)

4:46 PM

switchでうれしい場面が見えなくなってきてしまった