Checked internals with hlint