mirror of
https://github.com/IHaskell/IHaskell.git
synced 2025-04-24 15:56:07 +00:00

GHC 8.4 allows value level operators (in this case list append, '++') to be used at the type level, so that the singletons package for GHC 8.4 uses this operator whereas previous versions of singletons defined a ':++' operator for type level append.