Unfolds into a Free from seed.
Free
seed
The instance of Functor for F.
Functor
F
The new instance as an unfolded tree.
Unfolds into a
Freefromseed.