Indexable型クラス
from
Representable型クラス
Indexable型クラス
https://hackage.haskell.org/package/keys-3.0.4/docs/Data-Key.html#t:Indexable
Keyed型クラス
,
Lookup型クラス
を継承
code:hs
class Lookup f => Indexable f where
index :: f a -> Key f -> a