https://mathoverflow.net/questions/384127/contramodule-as-direct-limit-of-its-finitely-generated-subcontramodules