logic A monad and combinator library. Experimental. This should probably not be in PHP. /shrug Documentation (WIP) to be found here.