тогда дочернее яйцо будет таким же, и тоже содержать в себе яйцо... а тут есть абстрактный класс Яйцо, разбил, и в данном случае вызвал дочерний класс маленькое_яйцо.
А он и не должен. Фактически, это и есть рекурсия, просто с 1 итерацией. Такая рекурсия используется для создания циклов в Хаскеле. Почитай про виды рекурсии, их несколько используется в Хаскеле.