Proposal: Strict types

[Roman Leshchinskiy]

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