GHC 8.2 にUnboxedSumsという拡張が追加されるそうで、これで #Haskell で長年感じていたnullがないことによるツラみが解消するかも……

https://ghc.haskell.org/trac/ghc/wiki/UnpackedSumTypes
http://www.stephendiehl.com/posts/haskell_2017.html