Маленький наборщик: Как запретить аргументы с более конкретным типом?

#types #racket #pie-lang Вопрос: Я хочу понять и правильно использовать технику более конкретных типов, чтобы исключить нежелательные аргументы. Пример, приведенный около 6.37, представляет собой функцию first , которая обертывает head…