fact =. monad define
if. y. < 2
  do. 1
  else. y. * fact y. - 1
end.
)