You can spec­ify a func­tion which can take in a numeric value with a generic unit of mea­sure eas­ily enough:

image

Sim­i­larly, you can also spec­ify a dis­crim­i­nated union whose clauses can be of a numeric value with a generic unit of mea­sure, like this:

Share

Leave a Reply