[ivxvm]

Not really possible, because Record and Map aren't compatible at all. At best they both have something like `toString`. You'll need to define at least something like RecordFunctor<T> and MapFunctor<T> to make this useful.

[mbwgh]

Only if you want to abstract over them at usage-site.

In my case I only ever used the concrete types and converted between them at some point.

[ivxvm]

Oh, so it's just a type alias for readability. Then it makes sense.