after
  :: FlowChart (HaltT TestCrank) Status
  -> Resource TestCrank
  -> Req
  -> (Decision', ReqData)
after s r rq = afterWith s r rq id
after
  :: FlowChart (HaltT TestCrank) Status
  -> Resource TestCrank
  -> Req
  -> (Decision', ReqData)
after s r rq = afterWith s r rq id
after s r rq = afterWith s r rq id