According to the proposal, affine types and linear types "are not equi-expressive": https://github.com/ghc-proposals/ghc-proposals/blob/master/p...
There’s also quite a design space still to be explored for these ideas. Even / especially for languages like Haskell.