basic tagged type test