Call.System

data System s a

runSystem

class MonadSystem m

forkSystem