XMPPにおける一連の流れをHaskellの型に変換した