Did anyone already create a library for the Functor Functors or Higher Kinded Data pattern?
The HKD pattern that Sandy Maguire uses in his post with a type family wouldn’t work in PureScript. But I think the classes from the Functor Functors post can be easily translated into PureScript.
I came across this document  by Jordan Martinez, but it’s not adapted for records I think. I ran into some problems trying to adapt it.