Data.TypeList.MultiIndex

data Nil

data a :|: b

class MultiIndex i

multiIndex2Linear

class Dimensions i

class MultiIndexConcat n is js