Fit MachineTs over different base monads.
Helpers for making SourceTs from IO actions.

This provides a gateway between non-machines IO code and machines.