DISCONTINUED Linear types have been merged to GHC master. Further development will take place on GHC GitLab. This branch is no longer used.