@CaptainBohemian There are two different viewpoints of operator product expansions. In one approach, it is
postulated that the operators of the theory possess OPEs and then you can derive other things from that. In another approach, you start from the Virasoro algebra and then generate the OPEs from them. I just answered a question about that
here