diff --git a/.gitignore b/.gitignore
index af4d2e7..0d590ee 100644
--- a/.gitignore
+++ b/.gitignore
@@ -28,4 +28,5 @@ x64/
 *.log
 *.vspscc
 *.vssscc
-.builds 
\ No newline at end of file
+.builds 
+.fake
\ No newline at end of file
diff --git a/Sanchime.Functional/Extensions/Option.cs b/Sanchime.Functional/Extensions/Option.cs
index add671c..62ca2b6 100644
--- a/Sanchime.Functional/Extensions/Option.cs
+++ b/Sanchime.Functional/Extensions/Option.cs
@@ -7,11 +7,11 @@ public static class OptionExtension
 
     #region 函子: 同一范畴内不同对象之间的态射
 
-    public static Option<R> Map<T, R>(this None _, Func<T, R> mapping)
-        => Option.None;
+    // public static Option<R> Map<T, R>(this None _, Func<T, R> mapping)
+    //     => Option.None;
 
-    public static Option<R> Map<T, R>(this Some<T> some, Func<T, R> mapping)
-        => Option.Some(mapping(some.Value));
+    // public static Option<R> Map<T, R>(this Some<T> some, Func<T, R> mapping)
+    //     => Option.Some(mapping(some.Value));
 
     public static Option<R> Map<T, R>(this Option<T> option, Func<T, R> mapping)
         => option.Match(() => Option.None, (val) => Option.Some(mapping(val)));
diff --git a/Sanchime.Functional/Products/Either.cs b/Sanchime.Functional/Products/Eithers/Either.cs
similarity index 69%
rename from Sanchime.Functional/Products/Either.cs
rename to Sanchime.Functional/Products/Eithers/Either.cs
index b0c357e..c3f09c1 100644
--- a/Sanchime.Functional/Products/Either.cs
+++ b/Sanchime.Functional/Products/Eithers/Either.cs
@@ -8,7 +8,7 @@ public static class Either
         => new(right);
 }
 
-public readonly struct Either<TLeft, TRight>
+public readonly partial struct Either<TLeft, TRight> : IEither<TLeft, TRight>
 {
     internal TLeft? Left { get; }
     internal TRight? Right { get; }
@@ -48,28 +48,3 @@ public readonly struct Either<TLeft, TRight>
     public override string ToString()
         => Match(l => $"Left({l})", r => $"Right({r})");
 }
-
-public readonly struct Left<TLeft>
-{
-    internal TLeft Value { get; }
-    internal Left(TLeft value)
-        => Value = value;
-    public override string ToString()
-        => $"Left({Value})";
-}
-
-public readonly struct Right<TRight>
-{
-    internal TRight Value { get; }
-    internal Right(TRight value)
-        => Value = value;
-
-    public override string ToString()
-        => $"Right({Value})";
-
-    public Right<TRRight> Map<TLeft, TRRight>(Func<TRight, TRRight> mapping)
-        => Either.Right(mapping(Value));
-
-    public Either<TLeft, TRRight> Bind<TLeft, TRRight>(Func<TRight, Either<TLeft, TRRight>> binding)
-        => binding(Value);
-}
\ No newline at end of file
diff --git a/Sanchime.Functional/Products/Eithers/IEither.cs b/Sanchime.Functional/Products/Eithers/IEither.cs
new file mode 100644
index 0000000..998c3f7
--- /dev/null
+++ b/Sanchime.Functional/Products/Eithers/IEither.cs
@@ -0,0 +1,16 @@
+using System;
+using System.Collections.Generic;
+using System.Linq;
+using System.Threading.Tasks;
+
+namespace Sanchime.Functional.Products;
+
+public interface IEither<TLeft, TRight> : IEither, IFunctor
+{
+        
+}
+
+public interface IEither
+{
+
+}
\ No newline at end of file
diff --git a/Sanchime.Functional/Products/Eithers/Left.cs b/Sanchime.Functional/Products/Eithers/Left.cs
new file mode 100644
index 0000000..7f6a9bf
--- /dev/null
+++ b/Sanchime.Functional/Products/Eithers/Left.cs
@@ -0,0 +1,10 @@
+namespace Sanchime.Functional.Products;
+
+public readonly struct Left<TLeft> : IEither
+{
+    internal TLeft Value { get; }
+    internal Left(TLeft value)
+        => Value = value;
+    public override string ToString()
+        => $"Left({Value})";
+}
diff --git a/Sanchime.Functional/Products/Eithers/Right.cs b/Sanchime.Functional/Products/Eithers/Right.cs
new file mode 100644
index 0000000..e92ac8b
--- /dev/null
+++ b/Sanchime.Functional/Products/Eithers/Right.cs
@@ -0,0 +1,17 @@
+namespace Sanchime.Functional.Products;
+
+public readonly struct Right<TRight> : IEither
+{
+    internal TRight Value { get; }
+    internal Right(TRight value)
+        => Value = value;
+
+    public override string ToString()
+        => $"Right({Value})";
+
+    public Right<TRRight> Map<TLeft, TRRight>(Func<TRight, TRRight> mapping)
+        => Either.Right(mapping(Value));
+
+    public Either<TLeft, TRRight> Bind<TLeft, TRRight>(Func<TRight, Either<TLeft, TRRight>> binding)
+        => binding(Value);
+}
\ No newline at end of file
diff --git a/Sanchime.Functional/Products/IApplicative.cs b/Sanchime.Functional/Products/IApplicative.cs
index bd86207..79fd63e 100644
--- a/Sanchime.Functional/Products/IApplicative.cs
+++ b/Sanchime.Functional/Products/IApplicative.cs
@@ -4,6 +4,13 @@ namespace Sanchime.Functional.Products;
 /// 应用函子
 /// </summary>
 /// <typeparam name="TCategory"></typeparam>
-public interface IApplicative<TCategory> : IFunctor<TCategory>
+public interface IApplicative<TCategory> : IApplicative, IFunctor<TCategory>
+    where TCategory : ICategory
 {
 }
+
+
+public interface IApplicative : IFunctor
+{
+
+}
\ No newline at end of file
diff --git a/Sanchime.Functional/Products/IFunctor.cs b/Sanchime.Functional/Products/IFunctor.cs
index 7d46b0f..e7a87be 100644
--- a/Sanchime.Functional/Products/IFunctor.cs
+++ b/Sanchime.Functional/Products/IFunctor.cs
@@ -5,17 +5,14 @@ namespace Sanchime.Functional.Products;
 /// 同一范畴内不同对象之间的映射
 /// </summary>
 /// <typeparam name="TCategory"></typeparam>
-public interface IFunctor<TCategory> : ICategory
+public interface IFunctor<TCategory> : IFunctor
+    where TCategory : ICategory
 {
-    TCategory Map(Func<TCategory, TCategory> mapping);
+    TCategory Map<T>(Func<T, TCategory> mapping);
 }
 
 
-public struct Test<T> : IFunctor<Test<T>>
+public interface IFunctor : ICategory
 {
-    public T? Value {get; set; }
-    public Test<T> Map(Func<Test<T>, Test<T>> mapping)
-    {
-        return mapping(this);
-    }
-}
+
+}
\ No newline at end of file
diff --git a/Sanchime.Functional/Products/IMonad.cs b/Sanchime.Functional/Products/IMonad.cs
index d68cf1f..8debbde 100644
--- a/Sanchime.Functional/Products/IMonad.cs
+++ b/Sanchime.Functional/Products/IMonad.cs
@@ -5,5 +5,6 @@ namespace Sanchime.Functional.Products;
 /// </summary>
 /// <typeparam name="TCategory"></typeparam>
 public interface IMonad<TCategory> : IApplicative<TCategory>
+    where TCategory : ICategory
 {
 }
diff --git a/Sanchime.Functional/Products/Options/IOption.cs b/Sanchime.Functional/Products/Options/IOption.cs
new file mode 100644
index 0000000..a1036ae
--- /dev/null
+++ b/Sanchime.Functional/Products/Options/IOption.cs
@@ -0,0 +1,16 @@
+using System;
+using System.Collections.Generic;
+using System.Linq;
+using System.Threading.Tasks;
+
+namespace Sanchime.Functional.Products;
+
+public interface IOption : ICategory
+{
+    
+}
+
+public interface IOption<TValue> : IOption
+{
+    TValue Value { get; }
+}
\ No newline at end of file
diff --git a/Sanchime.Functional/Products/Options/None.cs b/Sanchime.Functional/Products/Options/None.cs
new file mode 100644
index 0000000..296590c
--- /dev/null
+++ b/Sanchime.Functional/Products/Options/None.cs
@@ -0,0 +1,9 @@
+namespace Sanchime.Functional.Products;
+
+/// <summary>
+/// <see cref="Option"/>的<see cref="None"/>状态
+/// </summary>
+public readonly partial struct None : IOption
+{
+    internal static readonly None Default = new();
+}
diff --git a/Sanchime.Functional/Products/Options/NoneFunctor.cs b/Sanchime.Functional/Products/Options/NoneFunctor.cs
new file mode 100644
index 0000000..8ad6310
--- /dev/null
+++ b/Sanchime.Functional/Products/Options/NoneFunctor.cs
@@ -0,0 +1,12 @@
+using System;
+using System.Collections.Generic;
+using System.Linq;
+using System.Threading.Tasks;
+
+namespace Sanchime.Functional.Products;
+
+public readonly partial struct None : IFunctor<None>
+{
+    public None Map<T>(Func<T, None> mapping)
+        => Option.None;
+}
\ No newline at end of file
diff --git a/Sanchime.Functional/Products/Option.cs b/Sanchime.Functional/Products/Options/Option.cs
similarity index 82%
rename from Sanchime.Functional/Products/Option.cs
rename to Sanchime.Functional/Products/Options/Option.cs
index ef10a16..f75ce5d 100644
--- a/Sanchime.Functional/Products/Option.cs
+++ b/Sanchime.Functional/Products/Options/Option.cs
@@ -1,30 +1,12 @@
 namespace Sanchime.Functional.Products;
 
-/// <summary>
-/// <see cref="Option"/>的<see cref="None"/>状态
-/// </summary>
-public readonly struct None
-{
-    internal static readonly None Default = new();
-}
-
-/// <summary>
-/// <see cref="Option"/>的<see cref="Some"/>状态
-/// </summary>
-/// <typeparam name="TValue"></typeparam>
-public readonly struct Some<TValue>
-{
-    internal TValue Value { get; }
-    internal Some(TValue value) => Value = value ?? throw new ArgumentNullException(nameof(value), "不能在Some状态中包装null值, 应该使用None");
-}
-
 public static class Option
 {
     public static None None => None.Default;
     public static Option<TValue> Some<TValue>(TValue value) => new Some<TValue>(value);
 }
 
-public readonly struct Option<TValue> : IEquatable<None>, IEquatable<Option<TValue>>
+public readonly partial struct Option<TValue> : IOption<TValue>, IEquatable<None>, IEquatable<Option<TValue>>
 {
     private readonly TValue _value;
 
diff --git a/Sanchime.Functional/Products/Options/OptionFunctor.cs b/Sanchime.Functional/Products/Options/OptionFunctor.cs
new file mode 100644
index 0000000..94c0e01
--- /dev/null
+++ b/Sanchime.Functional/Products/Options/OptionFunctor.cs
@@ -0,0 +1,11 @@
+using System;
+using System.Collections.Generic;
+using System.Linq;
+using System.Threading.Tasks;
+
+namespace Sanchime.Functional.Products.Options;
+
+public readonly partial struct Option<TValue> //: IFunctor<IOption>
+{
+    
+}
\ No newline at end of file
diff --git a/Sanchime.Functional/Products/Options/Some.cs b/Sanchime.Functional/Products/Options/Some.cs
new file mode 100644
index 0000000..897ba0e
--- /dev/null
+++ b/Sanchime.Functional/Products/Options/Some.cs
@@ -0,0 +1,14 @@
+namespace Sanchime.Functional.Products;
+
+/// <summary>
+/// <see cref="Option"/>的<see cref="Some"/>状态
+/// </summary>
+/// <typeparam name="TValue"></typeparam>
+public readonly struct Some<TValue> : IOption, IFunctor
+{
+    internal TValue Value { get; }
+    internal Some(TValue value) => Value = value ?? throw new ArgumentNullException(nameof(value), "不能在Some状态中包装null值, 应该使用None");
+
+    public Option<Some<TValue>> Map(Func<TValue, Some<TValue>> mapping)
+        => Option.Some(mapping(this.Value));
+}