Boltzmann.Data.Types
data SomeData m
type SomeData'
data Alias m
type AliasR m
alias
aliasR
coerceAlias
coerceAliases
composeCastM
castM
unSomeData
applyCast
castError
withProxy
reproxy
proxyType
someData'
type Size
data RejectT m a
runRejectT
data AMonadRandom m a
class MonadRandomLike m