Chaining side effect checks in a test with a result type

gistfile1.txt

{ 
  // do first step
  // pure assert first side effect
} && {
  // do second step
  // pure assert second side effect
} && {
  // do third step
  // pure assert third side effect
}