Don't you want there to be a big warning sign that your references are to bleeding edge academic literature that are NOT implemented in GHC and simply aren't in

Don't you want there to be a big warning sign that your references are to bleeding edge academic literature that are NOT implemented in GHC and simply aren't in the works at all?