 	}
 }
 
-public struct MonomorphicIso<S, A> : IsoType {
+public struct SimpleIso<S, A> : IsoType {
 	public typealias Source = S
 	public typealias Target = A
 	public typealias AltSource = S

	}
}

extension MonomorphicIso {
	public init<Other : IsoType where
		S == Other.Source, A == Other.Target, S == Other.AltSource, A == Other.AltTarget>
		(_ other : Other)

	}
}

extension SimplePrism {
	public init<Other : PrismType where
		S == Other.Source, A == Other.Target, S == Other.AltSource, A == Other.AltTarget>
		(_ other : Other)
