Consider the following code with downcasting:
let list = [1; 2; 4] :> obj // Successful let list2 = list :?> int list // Exception - System.InvalidCas