made Typeable conditionally hidden, hid tasty (===) function