Some of them still have functions that aren't tested (usually due to
inability to think of a test for them).

The Monad module doesn't have any tests yet either; that requires first
testing the Monad graph implementation.