TH.ReifySimple

# Reifying simplified type info

data TypeInfo

reifyType

infoToType

reifyTypeNoDataKinds

infoToTypeNoDataKinds

# Reifying simplified info for specific declaration varieties

## Datatype info

data DataType

reifyDataType

infoToDataType

## Data constructor info

data DataCon

reifyDataCon

infoToDataCon

typeToDataCon

## Data family info

data DataFamily

data DataInst

reifyDataFamily

infoToDataFamily

## Type family info

data TypeFamily

data TypeInst

reifyTypeFamily

infoToTypeFamily

# Other utilities

conToDataCons

reifyDataTypeSubstituted