How to declare a generic exception type in F#

Question

How can I define an exception like the following?

exception CustomExn<\'TMessage> of \'TMessage list

Answer 1

Not sure it is possible with F# Exception Definitions according to specs (page 164-165)

This one also NOT A GOOD SOLUTION because try with will only catch ExceptionList in this case so there is no good way to make it generic

type ExceptionList<'a>(msgList: 'a list) =
    inherit Exception()
    member __.MessageList = msgList

let mock() = 
    raise <| ExceptionList(["failed"])

try
    mock() //raises ExceptionList
with
    //this catch block won't fire, because it is not generic, it is ExceptionList
    | :? ExceptionList<_> as exnList -> 
        exnList.MessageList 
        |> List.iter (printfn "%A")

The better way though: Result<'a,'b list>:

let mock'() = 
    if DateTime.Now.Ticks % 2L = 0L 
    then Ok()
    else Error(["failed"])

let result = mock'()
match result with
| Ok _ -> printfn "Ok!"
| Error (msgList) -> 
      msgList
      |> List.iter (printfn "%A")

Added There is a workaround with type loss:

type ExceptionList(msgList: obj list) =
    inherit Exception()
    member __.MessageList = msgList

// Here is F# exception definition
exception CustomException of ExceptionList

let failwithMany msgs = 
    raise <| CustomException (ExceptionList(msgs))

let mock() =
    //zero type checking here
    failwithMany[1;2;"a";[];"failed"]

try
    mock()
with
    // exnList is list of objects
    | CustomException exnList ->
        exnList.MessageList 
        |> List.iter (printfn "%A")