ほしいのはそれぞれのassociatedvalueの型のモナドなので