на самом деле "бесплатная"?
я б ее назвал забывающей, потому что >>= будет дополнено само
свободная, потому что это разновидность "свободных" алгебраических структур: https://ru.wikipedia.org/wiki/%D0%A1%D0%B2%D0%BE%D0%B1%D0%BE%D0%B4%D0%BD%D0%B0%D1%8F_%D0%B3%D1%80%D1%83%D0%BF%D0%BF%D0%B0 https://ru.wikipedia.org/wiki/%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0_%D0%BD%D0%B0%D0%B4_%D0%BA%D0%BE%D0%BB%D1%8C%D1%86%D0%BE%D0%BC#.D0.A1.D0.B2.D0.BE.D0.B1.D0.BE.D0.B4.D0.BD.D0.B0.D1.8F_.D0.B0.D0.BB.D0.B3.D0.B5.D0.B1.D1.80.D0.B0
Обсуждают сегодня