-- mkConcSm (bndr, (CoreSyn.Case (CoreSyn.Var scrut) b ty [(_, _, CoreSyn.Var false), (con, _, CoreSyn.Var true)])) = do
-- scrut' <- MonadState.lift tsType $ varToVHDLExpr scrut
-- altcon <- MonadState.lift tsType $ altconToVHDLExpr con
-- mkConcSm (bndr, (CoreSyn.Case (CoreSyn.Var scrut) b ty [(_, _, CoreSyn.Var false), (con, _, CoreSyn.Var true)])) = do
-- scrut' <- MonadState.lift tsType $ varToVHDLExpr scrut
-- altcon <- MonadState.lift tsType $ altconToVHDLExpr con