Revert "Allow monadic predicates."

This reverts commit aa09b8d54d77aadd3d30514e96ab4b1ddbed8a55.