Make launchAff_ only work on Aff Unit

CHANGELOG.md

@@ -5,6 +5,7 @@ Notable changes to this project are documented in this file. The format is based
 ## [Unreleased]
 
 Breaking changes:
+  - Restrict the signature of `launchAff_` to only work on `Aff Unit` (#203)
 
 New features:
 

spago.dhall

@@ -1,16 +1,26 @@
 { name = "aff"
 , dependencies =
-  [ "assert"
+  [ "arrays"
+  , "assert"
+  , "bifunctors"
   , "console"
+  , "control"
   , "datetime"
   , "effect"
+  , "either"
   , "exceptions"
+  , "foldable-traversable"
   , "free"
   , "functions"
+  , "maybe"
   , "minibench"
+  , "newtype"
   , "parallel"
   , "partial"
+  , "prelude"
   , "psci-support"
+  , "refs"
+  , "tailrec"
   , "transformers"
   , "unsafe-coerce"
   ]

src/Effect/Aff.purs

@@ -223,7 +223,7 @@ launchAff aff = do
   pure fiber
 
 -- | Forks an `Aff` from an `Effect` context, discarding the `Fiber`.
-launchAff_ ∷ ∀ a. Aff a → Effect Unit
+launchAff_ ∷ Aff Unit → Effect Unit
 launchAff_ = void <<< launchAff
 
 -- | Suspends an `Aff` from an `Effect` context, returning the `Fiber`.