type IFirst = interface end

type ISecond = 
    inherit IFirst

module Test = 
    let instance = { new ISecond }

    let test () =
        let a : IFirst list =
            [
                instance
            ]
        let b : IFirst list = 
            [
                yield instance
            ]
        ()