GHC warnings for doctest