Una posible solución sería definir la operación como un valor del kind Nat, es decir: