haskell-src-exts-1.21.0: tests/examples/t402.hs.prettyprinter.golden

{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeInType #-}
module Test where
import Data.Singletons.Prelude
import Data.Singletons.TypeLits
import Data.Type.Equality ((:~:)(..), (:~~:)(..))

data instance  Sing (z :: (a :~: b)) where
        SRefl :: Sing Refl