a :: forall b. Typeable b => b
a = 3