# (anonymous?) polymorphic records

**URL:** <https://discuss.ocaml.org/t/anonymous-polymorphic-records/9256>\
**Category:** Learning\
**Created:** [January 31, 2022, 1:47pm UTC](https://discuss.ocaml.org/t/anonymous-polymorphic-records/9256 "2022-01-31T13:47:13Z")\
**Posts on this page:** 1\
**Showing post:** 1

<div class="post-metadata">

**Author:** ![nrolland](https://avatars.discourse-cdn.com/v4/letter/n/d26b3c/32.png) [@nrolland](https://discuss.ocaml.org/u/nrolland)\
**Post date:** [January 31, 2022, 1:47pm UTC](https://discuss.ocaml.org/t/anonymous-polymorphic-records/9256/1 "2022-01-31T13:47:13Z")

</div>

Is there a way to avoid to create records only to preserve polymorphism ?

Say, for this, in haskell style

```haskell
h :: (forall r. (r -> a) -> (f r -> f b)) -> f a -> f b
h malg = malg id

```

---

_[View the full topic](https://discuss.ocaml.org/t/anonymous-polymorphic-records/9256)._