Constructors #16
Description
Adding constructors to the dependent types has proved impossible, so far.
Maybe recent or planned F# type system work will make this possible.
{{ message }}
Adding constructors to the dependent types has proved impossible, so far.
Maybe recent or planned F# type system work will make this possible.