函子

Monads/FreeMonad.fs

@@ -0,0 +1,7 @@
+namespace Sanchime.Monads
+
+module Free =
+
+    type Free =
+        | Free
+        | Pure

Monads/Test.fs

@@ -0,0 +1,5 @@
+namespace Sanchime.Monads
+
+module Test =
+
+    let test = 0

Program.fs

@@ -7,4 +7,5 @@ open Sanchime.Algrithm.Sort.Merge
 open Sanchime.Algrithm.Sort.Select
 
 
-qsort |> test 
+
+// qsort |> test 

Sanchime.Learn.fsproj

@@ -10,6 +10,8 @@
     <Compile Include="Algrithms/Sorts/InsertSort.fs" />
     <Compile Include="Algrithms/Sorts/BubbleSort.fs" />
     <Compile Include="Algrithms/Sorts/Test.fs" />
+    <Compile Include="Monads/FreeMonad.fs" />
+    <Compile Include="Monads/Test.fs" />
     <Compile Include="Program.fs" />
   </ItemGroup>
 </Project>