generated at
2/21/2025, 7:06:19 PM
IxFunctor
添字付きFunctor
hs
class IxFunctor f where imap :: (a -> b) -> f i j a -> f i j b