-- Used only by ToIface.hs-boot

module IfaceType( IfaceType, IfaceTyCon, IfaceForAllBndr
                , IfaceCoercion, IfaceTyLit, IfaceAppArgs ) where

import Var (VarBndr, ArgFlag)

data IfaceAppArgs

data IfaceType
data IfaceTyCon
data IfaceTyLit
data IfaceCoercion
data IfaceBndr
type IfaceForAllBndr  = VarBndr IfaceBndr ArgFlag