replace FsControl to fsharp_typeclasses
add code of maybe monad