implementation module IndexType :: Index :== Int :: CheatCompiler = CheatCompiler