> non-strict な ML と、strict な Haskell を