Re: Proposal: Strict types

Johan Tibell wrote:

Do we really need to go all the way to type families to get strict data types? Wouldn't something simpler like a Haskell 98 Data.Strict module do?

Sure. Type families just give us nicer syntax. Also this: class Strictify a where strictify :: a -> Strict a unstrictify :: Strict a -> a Roman