SafeFlags25.hs:2:17: warning: [-Wsafe]
    ‘SafeFlags25’ has been inferred as safe!