Well, according to the paper the Elm Architecture is a specialization of the concept, so you could argue it has real-world uses (and it is liked by people that use it).
For starters I never heard of it or thought about it.
The author also hints that
The complexity of the concepts involved in this model, however, may impose a great
difficulty on its adoption for the development of real-world applications. One limitation of the technique, in the way it is presented in this thesis, is that it is considerably difficult to generate or discover monads that may be used to describe movements in a space defined a comonad; that is, it is difficult to find pairings between comonads and monads.
and
By using a technique proposed by Kmett [2011] (and used by Freeman [2016b] in the original model), we shall be able to to eliminate the necessity of finding or developing specific monads and pairings for given comonads, something that has been shown an extremely laborious task.
So basically you need to be Edward Kmett to do UI, haha.