[submodule "monad"]
	path = monad
	url = git.hornquist.se:git/scheme-monad.git