[Agda] sentences in a line

[Serge D. Mechveliani]

People,
is it possible in Agda to set several sentences in one line?
Something like this:
    let {aC = Setoid.Carrier A; open DecSetoid B; open Monoid C}
    in  ...

Thanks,

------
Sergei