Renamed Partial to FreeDomain
The lazy continuoation monad