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