может быть проще, но я бы так не хотел делать, потому что выявление допустимости поведения это, скорее, стрелка, чем объект. Что-то вроде:
f: A -> B

А - действие;
B – санкции.