Prism is a type alias for PPrism which fixes the type arguments and restricts the PPrism to monomorphic updates.