а что там такого с ФП? (и опять же, что ты называешь ФП) соотношение subtype/supertype будто бы не никуда не деваются.
Ну типа если где-то ожидается функа с определённой сигнатурой, то вместо неё можно подсунуть другую функу с такой же сигнатурой или более «широкой» сигнатурой. И это должно сработать.
Композиция. Если имеется отношение А – это Б и функция, обращающая Б в В (то есть, отношение Б ->В), то, благодаря композиции, получаем А -> В
Обсуждают сегодня