The answer is that, in general, we don't know. If there is a unique fixed point then it must be both the initial algebra and the terminal coalgebra. Infinite streams are an example of a terminal coalgebra for the product functor `Pair a x`, but an initial algebra for it is `Void`.