abstract Of types with a monomorph as type constructor become dynamic
add lazy case
Merge pull request #7 from frabbit/of_patch_6

abstract Of types with a monomorph as type constructor become dynamic