まずどういう風に使われていたか MonadIO m => FilePath -> m (~~) 調べたら 型パラメータがなんのインスタンスかを示すために物であった 例えば上の例だと=>の右側で使われているmという型パラメータはMonadIOのインスタンスすですよという意味。(Num a, Or…

fn main() { let mut num= 10; let num_ref = &mut num; add_five(num_ref); println!("{}",num); } fn add_five(ref_int: &mut i32) { *ref_int = *ref_int + 5; }