apo :: Functor f ⇒ RCoAlgebra f a → a → Fix f
	peikos :: RCoAlgebra Blog Tea
	
	peikos_net = apo peikos Sencha
	   ↦ Blog "Math" "Logic" "Programming" "Natural Language"

Thesis Documents