Tip.Haskell.Translate
prelude
tipDSL
quickCheck
quickCheckUnsafe
quickCheckAll
quickSpec
feat
typeable
data HsId a
addHeader
addImports
trTheory
data Kind
theorySigs
ufInfo
trTheory'
arbitrary
trType
trBuiltinType
withBool
hsBuiltinTys
hsBuiltins
typeOfBuiltin
makeSig
theoryBuiltins