a function `fun <U, O, A> defrombulate: (U&l...

# arrow

[pakoito]

a function fun <U, O, A> defrombulate: (U<O<A>>) -> O<U<A>> can also be deciphered