Reflecting strictness in Haskell types

This post does not have any comments yet