Implement Refl in deriveNT
[nt-coerce.git] / GHC / NT / Type.hs
1 {-# LANGUAGE EmptyDataDecls #-}
2 {-# OPTIONS_GHC -fplugin GHC.NT.Plugin #-}
3
4 module GHC.NT.Type where
5
6 data NT a b -- = NT (a,b)