Ну тобишь я в шашкеле тоже могу написать экзистенциальный ридер, который будет таскать с собой словарик, который будет определять, что там, функция или просто IO a, но есть подозрения, что я на этом ничего не выйграю, ибо гхц не осилит эти словари инлайнить.