Talk:Polynomial functor (type theory)