gistfile1.fs

          match context with
          | :? Type1 as t1 -> // type 1
          | :? Type2 as t2 -> // type 2
          | :? Type3 as t3 -> // type 3 
          | other -> // something else