presenceをHaskellの型に変換中