Я тебя, как обычно, попрошу написать код на Хаскеле, что даёт эффект, как в ObjectiveC. Вместе со всей обвязкой. И ты, как обычно, не станешь этого делать.

С моей точки зрения, для получения функционала а-ля ObjectiveC требуется HList, как минимум, одним алгебраическим типом не отделаешься.