Quite several warnings in Sanity.hs