Честно говоря, мне требуется время, чтобы это все переварить. Оператор "asif", "weak contract". Не хватает только операторов "maybe" и "whynot".
Понятно, для чего все это нужно. Но требуется осмыслить, а главное - подобрать для этого antipatterns, когда такие вещи пойдут во вред.