after'
  :: FlowChart (HaltT TestCrank) Status
  -> Resource TestCrank
  -> Req
  -> Decision'
after' s r = fst . after s r
after'
  :: FlowChart (HaltT TestCrank) Status
  -> Resource TestCrank
  -> Req
  -> Decision'
after' s r = fst . after s r
after' s r = fst . after s r