Re: [GHC] #12660: singletons doesn't compile with GHC 8.0.2 snapshot