nix-env -iA nixos.haskell.compiler.ghc901


아직 ghc 9 정식 릴리즈는 안됬는데 prerelease 버전이 올라옴


{-# LANGUAGE LinearTypes #-} f :: a %1 -> a f x = x

ghc 9 부터는 드디어 LinearType이 생김!