Beginning of a  type