>>291
集合では自由型に含まれるんやから独立しとる時点でPFP概念やろ