Use fewer default types

Sources/Lasso/Module.swift

@@ -37,11 +37,11 @@ public protocol StoreModule {
     associatedtype Output
 
     /// The primary, type-erased, public access `Store` for the module.
-    typealias Store = AnyStore<State, Action, Output>
+    typealias Store = AnyStore<Self.State, Self.Action, Self.Output>
 
     /// The `ViewStore` is a type-erased lens into the `Store`, that hides the `Output`.
     /// The `ViewStore` is typically used as the interface the view controller sees.
-    typealias ViewStore = AnyViewStore<State, Action>
+    typealias ViewStore = AnyViewStore<Self.State, Self.Action>
 
 }
 
@@ -61,7 +61,10 @@ extension StoreModule {
 /// be instantiated and 'hooked into' the controlling `Store`.
 public protocol ScreenModule: StoreModule {
 
-    associatedtype ConcreteStore: Lasso.ConcreteStore where ConcreteStore.State == State, ConcreteStore.Action == Action, ConcreteStore.Output == Output
+    associatedtype ConcreteStore: Lasso.ConcreteStore
+    where ConcreteStore.State == Self.State,
+          ConcreteStore.Action == Self.Action,
+          ConcreteStore.Output == Self.Output
 
     typealias Screen = AnyScreen<Self>
 
@@ -105,20 +108,28 @@ extension ScreenModule where State == EmptyState {
 ///    of testable business logic. In this fashion, it is possible to extract all business logic from the view layer.
 public protocol ViewModule {
 
-    associatedtype ViewAction = NoAction
-    associatedtype ViewState = EmptyState
+    associatedtype ViewAction
+    associatedtype ViewState
 
-    typealias ViewStore = AnyViewStore<ViewState, ViewAction>
+    typealias ViewStore = AnyViewStore<Self.ViewState, Self.ViewAction>
+}
+
+extension ViewModule {
+    public typealias ViewAction = NoAction
+    public typealias ViewState = EmptyState
 }
 
 /// A FlowModule describes the types that can be used in a flow.
 /// FlowModules have Output, and can specify what kind of view controller they are placed in.
 public protocol FlowModule {
 
-    associatedtype Output = NoOutput
+    associatedtype Output
 
     associatedtype RequiredContext: UIViewController = UIViewController
-
+}
+
+extension FlowModule {
+    public typealias Output = NoOutput
 }
 
 /// A FlowModule where the RequiredContext is bound to a UINavigationController.