そういや、関数型でOOPLでいう継承ってどんな形になるの?