# Module but no module type recursion?

**URL:** <https://discuss.ocaml.org/t/module-but-no-module-type-recursion/2374>\
**Category:** Ecosystem\
**Created:** [August 1, 2018, 9:25am UTC](https://discuss.ocaml.org/t/module-but-no-module-type-recursion/2374 "2018-08-01T09:25:26Z")\
**Posts on this page:** 1\
**Showing post:** 3

<div class="post-metadata">

**Author:** ![jjb](https://sea2.discourse-cdn.com/flex020/user_avatar/discuss.ocaml.org/jjb/32/2713_2.png) [@jjb](https://discuss.ocaml.org/u/jjb)\
**Post date:** [August 4, 2018, 2:51am UTC](https://discuss.ocaml.org/t/module-but-no-module-type-recursion/2374/3 "2018-08-04T02:51:52Z")

</div>

I haven’t worked through your example, but one thing to note is that for  
modules which consist of only types, you can recursively define them to  
be themselves:

```auto
module rec ...

and S : sig
   type t = ...
end = S

```

This trick might provide a way to accomplish what you mean with `and type ...`

---

_[View the full topic](https://discuss.ocaml.org/t/module-but-no-module-type-recursion/2374)._