Language.Hakaru.Syntax

data Prob

data Measure a

data Dist a

class Mochastic repr

data AST repr a

eval

data PP a

data IS a

type family IS' a

data MH a

type family MH' a