prcn_lib
macro_rules! monoid_def { { $M:ident<$t:ty>, $id:expr, $me:expr } => { ... }; }
一行目にモノイド名、 二行目に単位元 三行目にxとyを引数に取って、同じ型の演算結果を返すクロージャを渡す
x
y