{-# LANGUAGE ConstraintKinds           #-}
# LANGUAGE DataKinds                  #
# LANGUAGE ExistentialQuantification #
# LANGUAGE FlexibleInstances          #
{-# LANGUAGE KindSignatures            #-}
# LANGUAGE MultiParamTypeClasses      #
{-# LANGUAGE ScopedTypeVariables       #-}
{-# LANGUAGE TypeFamilies              #-}
{-# LANGUAGE TypeOperators             #-}
{-# LANGUAGE UndecidableInstances      #-}

{-# OPTIONS_GHC -fplugin=Data.Record.Plugin #-}

module Test.Record.Sanity.QualifiedImports.B (T(..)) where

import Data.Record.Plugin

import qualified Test.Record.Sanity.QualifiedImports.A as A

{-# ANN type T largeRecord #-}
data T a = MkT { x :: Char, y :: A.T a }

# LANGUAGE ConstraintKinds           #
# LANGUAGE KindSignatures            #
# LANGUAGE ScopedTypeVariables       #
# LANGUAGE TypeFamilies              #
# LANGUAGE TypeOperators             #
# LANGUAGE UndecidableInstances      #
# OPTIONS_GHC -fplugin=Data.Record.Plugin #
# ANN type T largeRecord #
# LANGUAGE DataKinds                  #
# LANGUAGE ExistentialQuantification #
# LANGUAGE FlexibleInstances          #
# LANGUAGE MultiParamTypeClasses      #


module Test.Record.Sanity.QualifiedImports.B (T(..)) where

import Data.Record.Plugin

import qualified Test.Record.Sanity.QualifiedImports.A as A

data T a = MkT { x :: Char, y :: A.T a }
