なんとなく、実験。 using System; variant Tree ['t] where 't : IComparable { | Node { left : Tree ['t]; elem : 't; right : Tree ['t]; } | Null } class Program { static Insert ['t] (tree : Tree ['t], e : 't) : Tree ['t] where 't : IComparabl…