Using Nums active pattern directly, Num active pattern redefined