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