Language.Haskell.Tools.AST.Types

data TyVar dom stage

data Type dom stage

data Context dom stage

data Assertion dom stage