Модульный подход на примере F#

type Value = Yes | No //  пусть нам требуется получить результат в данном виде

type ValueGenerator = unit -> Value 
(*
примеры можно запускать в интерактивной среде
dotnet fsi --nologo --warnaserror --reflectionfree --gui --realsig+ --checknulls+
но в этом случае невозможно определить сигнатуру функции в том виде в котором компилятор
ее выводит (см. ниже) 
*)
val valueGenerator :  unit -> Value

open System
 
let valueGenerator () =
     let size = 10
     let x = Random.Shared.GetItems (Array.init size ((+)1), 1) |> Array.head
     if (float size)/(float x) > 2. then Yes else No

type Value =
  | Yes of num: int
  | No of num: int
 
let valueGenerator size =
     let x = Random.Shared.GetItems (Array.init size ((+)1), 1) |> Array.head
     if (float size)/(float x) > 2. then Yes x else No x

type AwesomeGenerator (size) =
     member _.GetValue () =
         valueGenerator size
(* ниже интерфейс класса и пример использования *)
type AwesomeGenerator =
  new: size: int -> AwesomeGenerator
  member GetValue: unit -> Value
 
let awesome = AwesomeGenerator 100
 
match awesome.GetValue () with
| Yes n -> printfn "YES is %d." n 
| No n -> printfn "NO is %d." n