Здравствуйте, Vintik_69, Вы писали:

V_>? Если нельзя, хотелось бы услышать более-менее убедительное обоснование.

Впрочем, кажется мне, что нельзя, поскольку вне зависимости от количества table-ов монада все равно должна иметь один и тот же тип.