Proposal: Strict types

Roman Leshchinskiy rl at
Mon Feb 21 12:11:52 CET 2011

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


More information about the Libraries mailing list