Typed newer implementation notes