この資料をSMS送信: Species, profunctors and Taylor expansion weighted by SMCC: a unified framework for modelling nondeterministic, probabilistic and quantum programs