Module should be an abstract chain.