hbal: Change hardcoded tests to monadic composition