I&#x27;m curious about your comment about Types. Types are an important part of Haskell and Haskell was largely based on Miranda. 
What makes you believe they were an accident? There are more research papers about type system implementations and extensions regarding Haskell, than there are about laziness.