Type alias Then

Then: lazy.Then