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