Typed skeleton code.