Inquiry About Phantom Types in Schema 4.0 - Effect Community