Typed representation