Checking in prelude modules