This paper unifies the theories of Nash implementation and Bayesian implementation in a single framework. Environments considered are such that each agent's characteristics include, in addition to a specification of his private information, a commonly known type parameter, while both attributes...