IxFunctor

添字付きFunctor

code:hs

class IxFunctor f where

imap :: (a -> b) -> f i j a -> f i j b