Po zapoznaniu się z ghc 7.4. przedpremierowe notatki i dokument Giving Haskell a Promotion, nadal jestem zdezorientowany, co faktycznie robisz z promowanymi typami. Na przykład podręcznik GHC podaje n
Mam wzór projektu tutaj, gdzie istnieje generator obiektów (MorselGenerator i jego dzieci), z których każda generuje zawsze taki sam dokładny typ obiektu (Morsels i jego dzieci), ale sprawdzanie typu