Language.Hakaru.Expect
normalize
total
expect