[eru]

I mean, even in Haskell, big chunks of every program can be automatically recognized as `safe Haskell'.