the paper is from 14 years ago... is this approach widely used within the Haskell community? the wiki describes it as "the cleanest solution, but very advanced

the paper is from 14 years ago... is this approach widely used within the Haskell community? the wiki describes it as "the cleanest solution, but very advanced and a little restrictive" which sounds kind of scary the motivation given in the paper is for database programming... it seems like if this was a winning approach there would be popular db/orm libraries using this by now - are there any? asking as a complete outsider, a Haskell-curious Python dev