📝Is there a functional programming language with implementation inheritance?