Type Alias TreeUnfolder<A, B>

Type of a function that unfolds a single value of type B into a non-recursive tree with a node of type A and a forest of type B.

Same type as Coalgebra.