let
conc n m =
Bv
(
Conc
(n, m))