Port Data.Some.Lazy

[3noch]

from obsidiansystems/dependent-sum#35

[phadej]

I'm unsure about the name myself.

EDIT: I think it could be Some. There are already 3 variants, so one more doesn't cause more confusion.

[3noch]

@treeowl Are you interested in opening a PR for this? If not I will.