val moduleFirst: BoatNavigationEffect = Boat {
  compose("/first") { FirstActivity::class }
}.effect()

val moduleSecond: BoatNavigationEffect = Boat {
  compose("/second") { SecondActivity::class }
}.effect()

val moduleThird: BoatNavigationEffect = Boat {
  compose("/third") { ThirdActivity::class }
  compose("/fourth") { FourthActivity::class }
}.effect()

val appNavigation: BoatNavigationEffect = moduleFirst + moduleSecond + moduleThird

suspend fun main(context: Context) {
  navigate(context, appNavigation)
}

suspend fun navigate(context: Context, navigation: BoatNavigationEffect) {
  navigation.navigate(context, "/first") // Navigating to FirstActivity
  navigation.navigate(context, "/second") // Navigating to SecondActivity
  navigation.navigate(context, "/third") // Navigating to ThirdActivity
  navigation.navigate(context, "/fourth") // Navigating to FourthActivity
}

val appNavigation: BoatNavigationEffect = Boat {
  compose("/first") { FirstActivity::class }
  compose("/second") { SecondActivity::class }
}.effect()

suspend fun main(context: Context) {
  appNavigation.navigate(context, "/second") // Navigating to SecondActivity
}

val appNavigation: BoatNavigationEffect = Boat {
  compose("/first") { FirstActivity::class }
  compose("/second") { SecondActivity::class }
}.effect()

suspend fun main() {
  myExternalModule(appNavigation)
}

...

private val myModuleNavigation: BoatNavigationEffect = Boat {
  compose("/my_module_1") { MyModuleFirstActivity::class }
  compose("/my_module_2") { MyModuleSecondActivity::class }
}.effect()

suspend fun myExternalModule(navigation: BoatNavigationEffect) {
  registerInMyDI(navigation + myModuleNavigation)
}

suspend fun registerInMyDI(navigation: BoatNavigationEffect) {
  // work with a composed navigation
}

val navigation: BoatNavigationEffect = Boat {
  compose("/first") { FirstActivity::class }
  compose("/second") { SecondActivity::class }
}.effect()

val appRouteContracts: BoatRouteContractEffect = RouteContract {
  compose("/first")
  compose("/second")
  compose("/third")
  compose("/fourth")
}.effect { "Routes $this should be composed in navigation" }

val appNavigation: BoatNavigationEffect = navigation + appRouteContracts // java.lang.IllegalArgumentException: Routes /third, /fourth should be composed in navigation

val navigation: BoatNavigationEffect = Boat {
  ...
  compose("/third") { FirstActivity::class }
  compose("/fourth") { SecondActivity::class }
}.effect()

...

val appNavigation: BoatNavigationEffect = navigation + appRouteContracts // OK!

val navigation: BoatNavigationEffect = Boat {
  compose("/first") { FirstActivity::class }
  compose("/second") { SecondActivity::class }
}.effect()

val printMiddleware: BoatMiddlewareEffect = boatMiddleware { route, _, _, _, navigate ->
  println("Navigating to route $route...")
  navigate()
  println("Navigated to route $route")
}

val appNavigation: BoatNavigationEffect = navigation + printMiddleware

appNavigation.navigate(context, "/first")

> "Navigating to route /first..."

 *Navigation occurs*
 
> "Navigated to route /first"

val navigation: BoatNavigationEffect = Boat {
  compose("/first") { FirstActivity::class }
  compose("/second") { SecondActivity::class }
}.effect()

val printMiddleware: BoatMiddlewareEffect = boatMiddleware { route, _, _, _, navigate ->
  println("Navigating to route $route...")
  navigate()
  println("Navigated to route $route")
}

val Tracker.middleware: BoatMiddlewareEffect get() = boatMiddleware { route, _, _, _, navigate ->
  track(route)
  navigate()
}

suspend fun main(context: Context, tracker: Tracker) {
  val appNavigation: BoatNavigationEffect = navigation + printMiddleware + tracker.middleware
}

val appNavigation: BoatNavigationEffect = navigation + printMiddleware + tracker.middleware
appNavigation.navigate(context, "/first")

> "Navigating to route /first..."
> Tracking "/first"

 *Navigation occurs*
 
> "Navigated to route /first"