srecord PtInComponent<A extends Component>(A component, Pt p) {}