module Reflection = [<RequireQualifiedAccess>] module Type = let isType<'a> = Unchecked.defaultof<'a> let (|IsEqual|Isnt|) (_:'a) (t:Type):Choice<unit,unit> = let t' = typeof<'a> if t = t' then IsEqual else Isnt let (|TypeOf|_|) (_:'a) (t:Typ....