Switched to def list to reflect semantics.
Added TsMonad.