ошибки компилятора это как раз хорошо, пусть он меня направляет как правильно мне всё написать.
у меня претензий к системе типов и компилятору нет никаких.
я скорее сомневаюсь, что когда-то в Прекрасной России Будущего все начнут хорошо понимать операционную семантику ленивого языка и все будут писать бэкенды без спейсликов.